International SPIN Symposium
on Model Checking of Software
Stony Brook, NY, USA, 8-9 July 2013
Marking the 20th Anniversary of the International SPIN Workshop
©

NEWS

April 2013
A block of rooms has been reserved at the Campus Hotel (Hilton Garden Inn), just a few minutes walk from the Charles B. Wang Asian-American Center. Click here to book for the hotel with the SPIN rate.
March 2013
Spin 2013 will overlap with 24th International Conference on Game Theory at Stony Brook University.

For those of you interested in game theory, you can extend your stay at Stony Brook to hear about the latest developments in this field from leading experts.

October 2012
Best Paper Award offered by NVIDIA.
October 2012
Special Issue on STTT - International Journal on Software Tools for Technology Transfer.
September 2012
IBM, Microsoft and NEC joined as our sponsors.
July 2012
Program Committee announced.
June 2012
Work in Progress for Spin 2013.

SPONSORS






Registration & Accommodation

Registration for SPIN 2013 is now open.

Registration prices up until 7 June (close of business) are:

  • $ 275 (standard rate, early registration)
  • $ 200 (student rate, early registration)

After 7 June (close of business), late registration prices will apply:

  • $ 325 (standard rate, late registration)
  • $ 250 (student rate, late registration)

Additional Banquet Tickets @ $ 100 each

Registration closes on June 25 (close of business).

Registration fee includes all materials, proceedings, meals, including the banquet and all breaks.

For registering using a credit card (preferred), please click here.
Please contact Ann Brody at ann.brody@stonybrook.edu, phone +1 631 632 1025 if there are any issues with the registration.

For registering using other payment methods, please contact Ann Brody or Ezio Bartocci or C.R. Ramakrishnan.

A block of rooms has been reserved at the Campus Hotel (Hilton Garden Inn), just a few minutes walk from the Charles B. Wang Asian-American Center. Click here to book for the hotel with the SPIN rate.

Please direct any enquiries to the PC chairs: Ezio Bartocci or C.R. Ramakrishnan.



SPIN 2013 gratefully acknowledges the support from the following sponsors: