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

Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.

The SPIN symposium brings together researchers and practitioners interested in automated, tool-based techniques to analyze software and models of software for verification and validation purposes. 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.

View the Call for Papers.


Affiliated and Satellite Events

SPIN 2017 is collocated with two other closely related events that will take place from Monday, July 10 to Friday, July 14. Visit this link for the week’s overview.

International Symposium on Software Testing and Analysis

This year SPIN is organized in conjunction with the International Symposium on Software Testing and Analysis (ISSTA) as a ACM SIGSOFT event.

The RERS Verification Challenge

SPIN and ISSTA are pleased to feature the Rigorous Examination of Reactive Systems (RERS) Workshop comprising the RERS Verification Challenge. See the RERS 2017 website for more information.


Program at a Glance

Keynote Speakers

SPIN will feature three great keynote addresses by:

  • Domagoj Babic, Google, Inc.
  • Byron Cook, Amazon Web Services
  • Gerard Holzmann, Nimble Research

more on Keynote Speakers

Accepted Papers

SPIN 2017 will feature short and full papers. The list of accepted papers are available here.


Symposium Information

Registration

Registration is now open! Visit the ISSTA web site at this link to register for both SPIN and reserve your accommodations.

Venue

Information about the Santa Barbara and the university is now available on ISSTA web site at this link.

Accommodations

Accommodations can be reserved via the ISSTA registration site.


Information to Authors and Attendees

Upcoming Important Dates

  • April 15: Notifications Due

  • May 20: Camera-Ready Versions Due

Travel and Visa Information

If you require a letter for obtaining a visa to attend SPIN or if you are affected by the US travel restrictions, please visit this page.

This information is also available at the ISSTA web site at this link.


SPIN 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.

An overview of the previous SPIN symposia (and early workshops) can be found here.


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 Poster

SPIN 2017 Tracks
SPIN registration is now open!Thu 4 May 2017
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
Supporters
Gold Sponsor
Silver Sponsor
Silver Sponsor
Student Grant Sponsor
Student Grant Sponsor
Organizational Sponsor
Organizational Sponsor
Organizational Sponsor
Organizational Sponsor