Call for Short Papers
Short Papers address:
- tools and technologies,
- experiences with lessons learned,
- new and emerging ideas,
- work in progress with preliminary results, and
- novel contributions to formal methods education.
Maximum length is 4 pages (ACM Conference Format - including references).
For a full list of topics of interest, see the call for Full Papers.
The contributions to SPIN 2017 will be published as ACM Proceedings, and should be submitted in the ACM Conference Format: https://www.acm.org/publications/proceedings-template (use the sigconf template)
Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.
A Best Short Paper award will be given.
|Mon 15 May 2017|
|Thu 13 - Fri 14 Jul 2017|
|Sat 15 Apr 2017|
|Fri 17 Feb 2017|