SPIN

International Symposium on Model Checking Software
  1. 2024

    SPIN 2024

    • 10-11 April
    • Luxembourg City, Luxembourg
  2. 2023

    SPIN 2023

    • 26-27 April
    • Paris, France
  3. 2022

    SPIN 2022

    • 21-21 May
  4. 2021

    SPIN 2021

    • 12-12 July
  5. 2019

    SPIN 2019

    • 15-19 July
    • Beijing, China
  6. 2018

    SPIN 2018

    • 20-22 June
    • Málaga, Spain
  7. 2016

    SPIN 2016

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

    SPIN 2015

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

    SPIN 2013

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

    SPIN 2012

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

    SPIN 2011

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

    SPIN 2010

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

    SPIN 2009

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

    SPIN 2008

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

    SPIN 2007

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

    SPIN 2006

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

    SPIN 2005

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

    SPIN 2004

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

    SPIN 2003

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

    SPIN 2002

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

    SPIN 2001

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

    SPIN 2000

    • 30 August - 1 September
    • Stanford, CA, USA
  23. 1999

    SPIN 1999

    • 5-5 July
    • Trento, Italy