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:
We are pleased to announce the following invited speakers:
Industrial Bronze Sponsor