SPIN 2013
The International SPIN Symposium on Model Checking of Software
(SPIN 2013) will be held on the campus of Stony Brook University in
Stony Brook, NY, USA, from 8-9 July 2013.
SPIN 2013 is the latest in a successful
series of meetings
for practitioners and researchers interested in state space-based techniques
for the validation and analysis of software systems.
As in previous years, the proceedings of SPIN 2013 will be published in Springer-Verlag's
Lecture Notes in Computer Science series.
Important dates
* The abstract submission deadline is waived. You can submit
your abstract and paper anytime up to the paper submission
deadline of March 15th.
Invited speakers
Invited tutorial
General chair
Program chairs
Publicity chair
Program committee
- Gogul Balakrishnan (NEC Labs, USA)
- Paolo Ballarini (Ecole Centrale Paris, France)
- Ezio Bartocci (Vienna University of Technology, Austria) [PC co-chair]
- Armin Biere (Johannes Kepler University, Austria)
- Marsha Chechik (University of Toronto, Canada)
- Hana Chockler (IBM, Haifa)
- Giorgio Delzanno (University of Genova, Italy)
- Alastair Donaldson (Imperial College London, UK)
- Dimitra Giannakopoulou (NASA Ames, USA)
- Patrice Godefroid (Microsoft Research, USA)
- Radu Grosu (Vienna University of Technology, Austria)
- Klaus Havelund (NASA/JPL, USA)
- Gerard Holzmann (NASA/JPL, USA)
- Stefan Leue (University of Konstanz, Germany)
- Madanlal Musuvathi (Microsoft Research, Redmond, USA)
- David Parker (University of Birmingham, UK)
- C. R. Ramakrishnan (Stony Brook University, USA) [PC co-chair]
- S Ramesh (General Motors Global R&D, India)
- Stefan Schwoon (ENS Cachan, France)
- Scott A. Smolka (Stony Brook University, USA) [General Chair]
- Oleg Sokolsky (University of Pennsylvania, USA)
- Scott D. Stoller (Stony Brook University, USA)
- Stavros Tripakis (UC Berkeley, USA)
- Helmut Veith (Vienna University of Technology, Austria, Austria)
- Farn Wang (National Taiwan University, Taiwan)
- Lenore D. Zuck (University of Illinois at Chicago, USA)
SPIN 2013 gratefully acknowledges the support from the following sponsors: