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.