19th International SPIN Workshop
on Model Checking of Software
Oxford, 23-24 July 2012
©

NEWS

May 2012
The provisional programme is now online.
May 2012
Registration is now open.

SPONSORS

SPIN 2012 is sponsored by:

SPIN 2012

The 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) will be held in Oxford from 23-24 July 2012. SPIN 2012 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. As in previous years, the proceedings of SPIN 2012 will be published in Springer-Verlag's Lecture Notes in Computer Science series.

Important dates
Abstract submission deadline:  26 March 2012 (Anywhere on Earth)
Paper submission deadline:  26 March 2012 (Anywhere on Earth)
Notification of acceptance: 7 May 2012
Final versions due: 14 May 2012
Workshop:23-24 July 2012
Invited speakers
Invited tutorial
Programme chairs
Local arrangements chair
Programme committee