Annual Workshops

New: The 22nd Spin Workshop / Symposium will be held in August 2015,
in Stellenbosch, South Africa, organized by
Willem Visser, Jaco Geldenhuys, and Bernd Fisher.
Detailed information about submission dates etc will follow.

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.

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.

Impact

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:

Rank

Conference

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:

Citations

Spin Workshop 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 Workshops, according to Citeseer Google: