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:

Registration & Accommodation

Registration for SPIN 2012 is now open.

Registration prices (up until Fri 22 June) are:

  • £195 (standard rate, early registration)
  • £155 (student rate, early registration)

After Fri 22 June, late registration prices will apply:

  • £245 (standard rate, late registration)
  • £205 (student rate, late registration)

Registration closes on Fri 6 July.

Registration includes one ticket for the conference dinner Balliol College on Mon 23 July, lunch at the workshop 23-24 July and a copy of the proceedings.

We have also secured a limited amount of reduced-rate accommodation at St Anne's College, which we strongly encourage you to use. St Anne's College is located just a few minutes walk from the workshop venue. Rooms are available for the nights of 22, 23 and 24 July and can be reserved (during registration) up until 30 June:

  • £75.91 (single room with ensuite)
  • £48.03 (single room with washbasin)

Registration and accommodation should be purchased through the Oxford University Store.

Please direct any enquiries to the PC chairs: Alastair Donaldson or David Parker.