SPIN 2009
16th International SPIN Workshop on Model Checking of Software
June 26--28, 2009, Grenoble, France
Co-located with CAV 2009
The SPIN workshop is a forum for practitioners and researchers interested in the model checking-based analysis of software systems. The focus of the workshop is on theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering. For more information see the call for papers.
SPIN 2009 is the 16th event in the workshop series. The proceedings will appear in Lecture Notes in Computer Science. Authors of selected papers will be invited to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).
The program is now available.
Invited Speakers
Patrice Godefroid, Microsoft Research, USA
Marta Kwiatkowska, Oxford University, UK
Joseph Sifakis (Turing Award 2007), VERIMAG, France
Willem Visser, SEVEN Networks, USA
Venue
SPIN 2009 will be held at Europole, in Grenoble, France, and it will be co-located with CAV 2009. Registration and accommodation will be arranged through the CAV 2009 web-site.
Organization
Program Chair:
Corina Pasareanu, CMU/NASA AmesProgram Committee
Steering Committee:
Dragan Bosnacki, Eindhoven U, NetherlandsStefan Edelkamp, TU Dortmund, Germany
Susanne Graf, VERIMAG, France
Klaus Havelund, JPL, USA
Stefan Leue (chair) U Konstanz, Germany
Rupak Majumdar, UCLA, USA
Pierre Wolper, U Liege, Belgium
Advisory Committee:
Gerard Holzmann (chair) JPL,USAAmir Pnueli, New York U, USA
Moshe Vardi, Rice U, USA
Web Administrator:
Allen Dutra, NASA Ames
- NASA Official: Dave Korsmeyer
- Curator: ASANI Solutions