SPIN 2012

The 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) will be held in Oxford from 23-24 July 2012. SPIN 2012 is the latest in a successful series of workshops 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 2012 will be published in Springer-Verlag's Lecture Notes in Computer Science series.

• Tom Ball (Microsoft Research, Redmond)
• Andrey Rybalchenko (TU Munich)
• Andreas Zeller (Saarland University)

• Cristian Cadar (Imperial College London)

• Alastair Donaldson (Imperial College London)
• David Parker (University of Birmingham)

• Michael Tautschnig (University of Oxford)

• Christel Baier (University of Dresden, Germany)
• Dirk Beyer (University of Passau, Germany)
• Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
• Alastair Donaldson (Imperial College London, UK) [co-chair]
• Stefan Edelkamp (TZI University Bremen, Germany)
• Alex Groce (Oregon State University, USA)
• Gerard Holzmann (NASA/JPL, USA)
• Radu Iosif (VERIMAG, CNRS, France)
• Stefan Leue (University of Konstanz, Germany)
• Eric Mercer (Brigham Young University, USA)
• Alice Miller (University of Glasgow, UK)
• Madanlal Musuvathi (Microsoft Research, Redmond, USA)
• David Parker (University of Birmingham, UK) [co-chair]
• Corina Pasareanu (NASA Ames, USA)
• Doron Peled (Bar Ilan University, Israel)
• Jaco van de Pol (University of Twente, Netherlands)
• Kees Pronk (Delft University of Technology, Netherlands)
• Shaz Qadeer (Microsoft Research, Redmond, USA)
• Alastair Reid (ARM, UK)
• Tayssir Touili (LIAFA, CNRS, France)
• Helmut Veith (Vienna University of Technology, Austria)
• Thomas Wahl (Northeastern University, USA)