Annual Workshops

[spin logo]
  • New The 24th Spin 2017 Symposium will be co-located with ISSTA-2017 and held at the University of California at Santa Barbara. The organizers are Hakan Erdogmus and Klaus Havelund. The proceedings are again planned to be published by Springer in its LNCS series. Details will follow once the date has been set.

  • The 2018 Spin Symposium will be held in Spain (details will follow once available).

  • We're inviting proposals for organizing Spin 2019. If you're interested, please send us a note.

  • The organization of the Spin Workshop series is guided by a small Steering Committee (see charter).

Online Proceedings

Some Statistics

The number of submissions to the Spin Workshops varies from year to year, but overall has been fairly consistent. In 1999 two separate Spin workshops were held (one in Trento, co-located with FLOC99 and one in Toulouse, co-located with FM99. Three of the workshops have been standalonve events: the first in 1995, the second in 2000 held at Stanford University, and the third in 2008 at UCLA in Los Angeles.

Spin Workshop History

The first 5 workshops were 1-day; there were three 2-day workshops (nrs 6, 8, and 10), and the remaining workshops up to 2008 were 3-days long. After 2008 we reverted to a 2-day program.
Attendance at the workshops has been mostly steady, varying between 50 to 70 participants each year.


According to a recent ranking of the effectiveness of publication venues compiled by citeseer for May 2003, the Spin Workshops in the period of 1995 thru 2003 make a very respectable showing among formal methods conferences and workshops, placing in the top 15%. The ranking of related conferences is:

1.OSDI: 3.31 (top 0.08%)
3. PLDI: 2.89 (top 0.24%)
13. POPL: 2.26 (top 1.06%)
26. ICSE: 2.05 (top 2.12%)
42. FSE: 1.88 (top 3.43%)
43. CAV: 1.88 (top 3.52%)
55. LICS: 1.79 (top 4.50%)
73. STOC: 1.69 (top 5.97%)
76. ISSTA: 1.65 (top 6.22%)
108. FOCS: 1.51 (top 8.84%)
124. CONCUR: 1.44 (top 10.15%)
141. PODC: 1.37 (top 11.54%)
166. SPIN: 1.25 (top 13.59%)
168. FMCAD: 1.25 (top 13.75%)
175. TACAS: 1.24 (top 14.33%)
227. FME: 1.12 (top 18.59%)
235. PASTE: 1.10 (top 19.24%)
365. World Congress on Formal Methods: 0.85 (top 29.89%)
366. CHARME: 0.84 (top 29.97%)
383. VDM Europe (1): 0.81 (top 31.36%)
435. PSTV: 0.74 (top 35.62%)
497. FORTE: 0.66 (top 40.70%)
583. Formal Methods in Programming and Their Applications: 0.54 (top 47.74%)
633. Requirements Engineering: 0.49 (top 51.84%)

A closer look at the SPIN workshops with the largest number of citations in the period covered leads to these top 5 Spin Workshops with the most citations:

CitationsSpin Workshop Year&PlaceColocated with
189 2001, Toronto ICSE
183 2000, Stanford standalone
121 1996, Rutgers CAV
107 1999b, Toulouse World Congress Formal Methods
99 1998, Paris FORTE/PSTV

Finally, the 10 papers with the largest number of citations between 1995 and 2004 from SPIN Workshops, according to Citeseer Google:

CitationsPaper/TopicSpin Workshop Year/Place
108 Tom Ball et al., Automatically validating temporal safety properties of interfaces2001/Toronto
72 Tom Ball et al., Bebop: a symbolic model checker for boolean programs2000/Stanford
53 Klaus Havelund et al., Formal analysis of a space craft controller using Spin1998/Paris
52 Scott Stoller, Model-checking multi-threaded distributed Java programs2000/Stanford
52 Doron Drusinsky, Temporal Rover (tool presentation)2000/Stanford
39 Claudio Demartini et al., dSPIN: A Dynamic Extension of Spin1999b/Toulouse
38 Holzmann et al., On nested depth-first search1996/Rutgers
27 Flavio Lerda et al., Distributed model checking with Spin 1999a/Trento
27 Wiebe van der Hoek, Model checking knowledge and time 2002/Grenoble
23 Klaus Havelund, Using runtime analysis to guide model checking of Java programs2000/Stanford

Spin Homepage (last updated 30 April 2016)