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'12 will be held in the Department of Computer Science at the University of Oxford.

The conference banquet will be held at Balliol College, Oxford on Mon 23 July.

A block of rooms has been reserved at St Anne's College, just a few minutes walk from the Department of Computer Science. See the registration page for more details and to book.


Travel guidance to get to Oxford can be found here.

London will be hosting the 2012 Olympic Games shortly after the SPIN workshop, so we recommend making your travel reservations as soon as possible.

Directions to the Department of Computer Science itself are here.

Here are the locations of: