SPIN 2010

Cassini Spacecraft Maeslant Storm Surge Barrier PathStar Switch

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:

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:


Industrial Bronze Sponsor

Academic Sponsors