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

Accepted Papers

Important Dates

April 15: Notifications Due

May 20: Camera-Ready Versions Due

Announcing SPIN Keynote Speakers

Domagoj Babic, Google, Inc.

Byron Cook, Amazon Web Services

Gerard Holzmann, Nimble Research

more on Keynote Speakers

Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in beautiful Santa Barbara, California in July in conjunction with ISSTA.

View the Call for Papers.

The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.

History: The SPIN symposium originated as a workshop focusing on explicit- state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution.

SPIN 2017 will be organized as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis. See the ISSTA 2017 website.

An overview of the previous SPIN symposia (and early workshops) can be found at: http://spinroot.com/spin/symposia.

The RERS Verification Challenge

In addition there will be a one-day Rigorous Examination of Reactive Systems (RERS) Workshop comprising the RERS Verification Challenge. See the RERS 2017 website.


Information to Authors Who May be Affected by US Travel Restrictions

Authors who are affected by a travel ban to the USA will be accommodated by SPIN organizers via alternative means of presentation. Note, however, that the travel ban has currently been voided by the courts.

See also: ACM Statement on the US travel ban.

SPIN 2017 Organization

  • Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA
  • Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion Laboratory, USA
  • Corina Pasareanu, Awards Chair, NASA Ames Research Center and CMU, USA
  • Yliès Falcone, Publicity Chair, Université Grenoble Alpes and Inria, France
SPIN 2017 Tracks
SPIN accepted papers are available!Sat 22 Apr 2017
SPIN submission deadline extended to Feb 17!Tue 7 Feb 2017
Statement on US Travel RestrictionsThu 2 Feb 2017
SPIN keynote speakers announced!Fri 20 Jan 2017
Domagoj Babic from Google will give a keynote address at SPIN 2017Thu 12 Jan 2017
Social Media
Gold Sponsor
Silver Sponsor
Student Grant Sponsor
Organizational Sponsor