International Symposium on Model Checking Software (SPIN)

SPIN Workshop – International SPIN Workshop on Theoretical Aspects of Model Checking (SPIN) – International SPIN Workshop on Practical Aspects of Model Checking (SPIN)

Venue statistics

records by year

document access 

    frequent authors

      27th SPIN 2021: Virtual Event

      26th SPIN 2019: Beijing, China

      25th SPIN 2018: Malaga, Spain

      24th SPIN 2017: Santa Barbara, CA, USA

      23rd SPIN 2016: Eindhoven, The Netherlands

      22nd SPIN 2015: Stellenbosch, South Africa

      21st SPIN 2014: San Jose, CA, USA

      20th 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

      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. SPIN 1999: Trento, Italy / 6. SPIN 1999: Toulouse, France

      4. SPIN 1998: Paris, France

      3. SPIN 1997: Enschede, Netherlands

      2. SPIN 1996: New Brunswick

      1. SPIN 1995: Montreal, Canada

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics