SPIN

International Symposium on Model Checking Software

  1. 2018

    SPIN 2018

    • 20-22 June
    • M├ílaga, Spain
  2. 2016

    SPIN 2016

    • 7-8 April
    • Eindhoven, The Netherlands
  3. 2015

    SPIN 2015

    • 24-26 August
    • Stellenbosch, South Africa
  4. 2013

    SPIN 2013

    • 8-9 July
    • Stony Brook, NY, USA
  5. 2012

    SPIN 2012

    • 23-24 July
    • Oxford, United Kingdom
  6. 2011

    SPIN 2011

    • 14-15 July
    • Snowbird, UT, USA
  7. 2010

    SPIN 2010

    • 27-29 September
    • Enschede, The Netherlands
  8. 2009

    SPIN 2009

    • 26-28 June
    • Grenoble, France
  9. 2008

    SPIN 2008

    • 10-12 August
    • Los Angeles, CA, USA
  10. 2007

    SPIN 2007

    • 1-3 July
    • Berlin, Germany
  11. 2006

    SPIN 2006

    • 30 March - 1 April
    • Vienna, Austria
  12. 2005

    SPIN 2005

    • 22-24 August
    • San Francisco, CA, USA
  13. 2004

    SPIN 2004

    • 1-3 April
    • Barcelona, Spain
  14. 2003

    SPIN 2003

    • 9-10 May
    • Portland, OR, USA
  15. 2002

    SPIN 2002

    • 11-13 April
    • Grenoble, France
  16. 2001

    SPIN 2001

    • 19-20 May
    • Toronto, ON, Canada
  17. 2000

    SPIN 2000

    • 30 August - 1 September
    • Stanford, CA, USA