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

Accepted Papers

SPIN Short Paper
SPIN Short Paper
SPIN Short Paper
SPIN Short Paper
SPIN Short Paper

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.

You're viewing the program in a time zone which is different from your device's time zone - change time zone