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
©

NEWS

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.

SPONSORS






Photos

Some photos from SPIN 2013.



SPIN 2013 gratefully acknowledges the support from the following sponsors: