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)
• Alessandro Cimatti, FBK-IRST, Italy
• Darren Cofer, Rockwell Collins, USA

Industrial Bronze Sponsor

Academic Sponsors