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:

Credits

SPIN 2012 logo design by Gerard Holzmann.

SPIN 2012 web site design by Dave Parker.

Oxford image based on photo by David Iliff (License: CC-BY-SA 3.0).