20th International SPIN Workshop
on Model Checking of Software
Stony Brook, NY, USA, 8-12 July 2013


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



SPIN 2013 logo design by Ezio Bartocci.

SPIN 2013 web site design by Ezio Bartocci inspired by the previous edition.

Wang Center image based on photo by Atomichumbucker (License: CC-BY-SA 3.0).