The SPIN workshop
series has evolved into a mature series of events
with a constant
participation level and high-quality technical
presentations. Previous
workshops have had participation counts in the
order of 50-70.
While the first workshop in Montreal in 1995 was a
stand-alone event,
later workshops have been organized as more or less
closely affiliated
events with bigger conferences, in particular with
CAV (1996), TACAS
(1997), FORTE/PSTV (1998), FLOC (1999), World
Congress on Formal
Methods (1999), FMOODS (2000) and ICSE (2001).
Since 1999, the proceedings
of the SPIN workshops have appeared in
Springer Verlag's
"Lecture Notes in Computer Science" series.
A comprehensive account
on the history of SPIN workshop events can be
found at the SPIN
Workshop overview site.