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:

Venue

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

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: