|
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. |