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.


Best Paper Award

The SPIN 2013 Best Paper Award recipients are Nuno P. Lopes and Jose Monteiro for their paper on Automatic Equivalence Checking of UF+IA Programs. The award is a NVIDIA GPU Tesla K20 (for High-Performance computing) generously donated by our sponsor NVIDIA.

Pictured from left to right: Ezio Bartocci and C.R. Ramakrishanan, Spin 2013 PC Chairs, and Spin 2013 Best Paper award recipient Nuno P. Lopes

SPIN 2013 gratefully acknowledges the support from the following sponsors: