International SPIN Symposium
on Model Checking of Software
Stony Brook, NY, USA, 8-9 July 2013
Marking the 20th Anniversary of the International SPIN Workshop


April 2013
A block of rooms has been reserved at the Campus Hotel (Hilton Garden Inn), just a few minutes walk from the Charles B. Wang Asian-American Center. Click here to book for the hotel with the SPIN rate.
March 2013
Spin 2013 will overlap with 24th International Conference on Game Theory at Stony Brook University.

For those of you interested in game theory, you can extend your stay at Stony Brook to hear about the latest developments in this field from leading experts.

October 2012
Best Paper Award offered by NVIDIA.
October 2012
Special Issue on STTT - International Journal on Software Tools for Technology Transfer.
September 2012
IBM, Microsoft and NEC joined as our sponsors.
July 2012
Program Committee announced.
June 2012
Work in Progress for Spin 2013.


SPIN 2013

The International SPIN Symposium on Model Checking of Software (SPIN 2013) will be held on the campus of Stony Brook University in Stony Brook, NY, USA, from 8-9 July 2013. SPIN 2013 is the latest in a successful series of meetings for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. As in previous years, the proceedings of SPIN 2013 will be published in Springer-Verlag's Lecture Notes in Computer Science series.

Important dates
Abstract submission deadline:  8 March 2013 *Waived
Paper submission deadline:  15 March 2013 (Anywhere on Earth)
Notification of acceptance:  19 April 2013 ( Accepted papers)
Final versions due: 29 April 2013
Symposium:8-9 July 2013
* The abstract submission deadline is waived. You can submit your abstract and paper anytime up to the paper submission deadline of March 15th.
Invited speakers
Invited tutorial
General chair
Program chairs
Publicity chair
Program committee

SPIN 2013 gratefully acknowledges the support from the following sponsors: