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.

Abstract submission deadline:	8 March 2013 *Waived
Paper submission deadline:	15 March 2013 (Anywhere on Earth)
Notification of acceptance:	19 April 2013 ( Accepted papers)
Final versions due:	29 April 2013
Symposium:	8-9 July 2013

• Dirk Beyer (University of Passau, Germany)

• Gerard Holzmann (NASA/JPL, USA)

• Scott A. Smolka (Stony Brook University, USA)

• Ezio Bartocci (Vienna University of Technology, Austria)
• C. R. Ramakrishnan (Stony Brook University, USA)

• Scott D. Stoller (Stony Brook University, USA)

• 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)