International SPIN Symposium on Model Checking of Software
Thank you all for a successful event!
See you in Malaga, Spain, in 2018!
SPIN 2017 Best Papers
Congratulations to best paper award authors!
Best Paper Award
Distributed Binary Decision Diagrams for Symbolic Reachability
by Wytse Oortwijn, Tom van Dijk and Jaco van de Pol
Best Short Paper Award
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
by Lucas Wagner, David Greve and Andrew Gacek
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
SPIN will feature three great keynote addresses by:
- Domagoj Babic, Google, Inc.
- Byron Cook, Amazon Web Services
- Gerard Holzmann, Nimble Research
SPIN 2017 will feature short and full papers. The list of accepted papers are available here.
Registration is now open! Visit the ISSTA web site at this link to register for both SPIN and reserve your accommodations.
Information about the Santa Barbara and the university is now available on ISSTA web site at this link.
Accommodations can be reserved via the ISSTA registration site.
- On-campus choices: Affordable on-campus accommodations, both shared and private, are available to SPIN 2017 attendees at University of California’s beautiful Santa Barbara campus: reserve fast to take advantage!.
- Off-campus hotels: a list of nearby off-campus choices are available here.
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.
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