Write a Blog >>
SPIN 2017
co-located with ISSTA 2017

Accepted Papers

Title

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.


Important Dates AoE (UTC-12h)
Thu 13 - Fri 14 Jul 2017
Symposium
Mon 15 May 2017
Camera-Ready Version
Sat 15 Apr 2017
Notification
Fri 17 Feb 2017
Submission