SPIN 2004

11th International SPIN Workshop on Model Checking of Software

History of SPIN Workshops

[SPIN 2004 Home Page] [Call for Papers] [Organizers]
[The SPIN Tool Page] [SPIN Policies]

This workshop will be the 9th in a series of international workshops that were previously held in the following places: Montreal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000) Toronto (2001), Grenoble (2002) and Portland (2003).
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), ICSE (2001, 2003) and ETAPS (2002).
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.

[Susanne Graf] April 1, 2003