Back to University of Twente portal
SPIN 2010
 |
 |
 |
University of Twente, Enschede, The Netherlands
27 September – 29 September, 2010
The 17th International SPIN Workshop on Model Checking of Software (SPIN 2010) will be held at the University of Twente, Enschede (The Netherlands) in the last week of September 2010, along with several satellite events. The SPIN workshops are a successful series of annual events, previously held in:
- Grenoble (France) in 2009
- Los Angeles (USA) in 2008
- Berlin (Germany) in 2007
- Vienna (Austria) in 2006
- San Francisco (USA) in 2005
- Barcelona (Spain) in 2004
- Portland (Oregon) in 2003
- Grenoble (France) in 2002
- Toronto (Canada) in 2001
- Stanford University (USA) in 2000
- Toulouse (France) in 1999
- Trento (Italy) in 1999
- Paris (France) in 1998
- University of Twente (The Netherlands) in 1997
- Rutgers University (USA) in 1996
- Montreal (Canada) in 1995
Proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series.
SPIN 2010 is co-located with:
- 5th International Conference on Graph Transformation (ICGT 2010)
- 9th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2010)
- High Performance Computational Systems Biology Workshop (HiBi 2010).
Invited Speakers
We are pleased to announce the following invited speakers:
- Javier Esparza,
Technical University of Munich, Germany
(joint keynote speaker with ICGT 2010)