New The 24th
Spin 2017 Symposium
will be co-located with ISSTA-2017 and
held July 13 and 14, 2017, at the University of California at Santa Barbara.
The organizers are Hakan Erdogmus
and Klaus Havelund.
The symposium is held as an ACM SIGSOFT event, with proceedings published by the ACM.
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 Symposium series is guided by a small Steering
Committee (see charter).
- SPIN1995-01, Oct. 1995, Montreal, Canada
- SPIN1996-02, Aug. 1996, Rutgers University, USA
- SPIN1997-03, Apr. 1997, Twente University, The Netherlands
- SPIN1998-04, Nov. 1998, ENST, Paris, France
- SPIN1999-05, July 1999, Trento, Italy
- SPIN1999-06, Sept. 1999, Toulouse, France
- SPIN2000-07, Aug/Sept. 2000, Stanford University, USA
- SPIN2001-08, May 2001, Toronto, Canada
- SPIN2002-09, April, 2002, Grenoble, France
- SPIN2003-10, May 2003, Portland, Oregon
- SPIN2004-11, April 2004, Barcelona, Spain
- SPIN2005-12, August 2005, San Francisco, USA
- SPIN2006-13, March 2006, Vienna, Austria
- SPIN2007-14, July 2007, Berlin, Germany
- SPIN2008-15, August 2008, Los Angeles, USA
- SPIN2009-16, June 2009, Grenoble, France
- SPIN2010-17, September 2010, Twente, The Netherlands
- SPIN2011-18, July 2011, Snowbird, Utah, USA
- SPIN2012-19, July 2012, Oxford, UK
- SPIN2013-20, July 2013, Stony Brook, NY, USA
- SPIN2014-21, July 2014, San Jose, CA, USA
- SPIN2015-22, August 2015, Stellenbosch, S. Africa
- SPIN2016-23, April 2016, Eindhoven, The Netherlands
The number of submissions to the Spin Symposia varies from year to year,
but overall has been fairly consistent.
In 1999 two separate events were held (one in Trento, co-located
with FLOC99 and one in Toulouse, co-located
with FM99. Three of the Symposia and 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.
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 symposia 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
for May 2003, the Spin Symposia in the period of 1995 thru 2003 make
a very respectable showing among formal methods conferences, symposia,
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 Symposia with the largest number of citations
in the period covered leads to these top 5 Spin Symposia with the most citations:
| ||Citations||Spin Symposium Year&Place||Colocated 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 Symposia, according to Citeseer Google:
| ||Citations||Paper/Topic||Spin Symposium Year/Place|
| ||108 ||Tom Ball et al., Automatically validating temporal safety properties of interfaces||2001/Toronto|
| ||72 ||Tom Ball et al., Bebop: a symbolic model checker for boolean programs||2000/Stanford|
| ||53 ||Klaus Havelund et al., Formal analysis of a space craft controller using Spin||1998/Paris|
| ||52 ||Scott Stoller, Model-checking multi-threaded distributed Java programs||2000/Stanford|
| ||52 ||Doron Drusinsky, Temporal Rover (tool presentation)||2000/Stanford|
| ||39 ||Claudio Demartini et al., dSPIN: A Dynamic Extension of Spin||1999b/Toulouse|
| ||38 ||Holzmann et al., On nested depth-first search||1996/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 programs||2000/Stanford|