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


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


SPIN 2012 is sponsored by:


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).