SPIN

21. SPIN 2014: San Jose, CA, USA

20. SPIN 2013: Stony Brook, NY, USA

19. SPIN 2012: Oxford, UK

18. SPIN 2011: Snowbird, UT, USA

17. SPIN 2010: Enschede, The Netherlands

16. SPIN 2009: Grenoble, France

15. SPIN 2008: Los Angeles, CA, USA

25 Years of Model Checking

14. SPIN 2007: Berlin, Germany

13. SPIN 2006: Vienna, Austria

12. SPIN 2005: San Francisco, CA, USA

11. SPIN 2004: Barcelona, Spain

- SPIN 2004 Home Page

10. SPIN 2003: Portland, OR, USA

9. SPIN 2002: Grenoble, France

8. SPIN 2001: Toronto, Canada

7. SPIN 2000: Stanford, CA, USA

5./6. SPIN 1999: Trento, Italy / Toulouse, France