Welcome to SPIN 2015!

The 22nd International SPIN Symposium on Model Checking of Software (SPIN 2015) will be held in Stellenbosch, South Africa from 24–26 August 2015. SPIN 2015 is the latest in a successful series of workshops for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. The proceedings of SPIN 2015 will be published in Springer-Verlag's LNCS series.

Important dates

Abstract submission deadline 17 April 2015 4 May 2015 (Anywhere on Earth)
Paper submission deadline 4 May 2015 (Anywhere on Earth)
Notification of acceptance 15 June 2015
Final versions due 29 June 2015
Early registration deadline 13 July 2015
Symposium 24–26 August 2015
Excursion 27 August 2015

Invited speakers

Invited tutorial

Programme chairs

Programme committee

Next important date


SPIN 2016