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.
Paper submission
The paper submission site is now open:
Please see the Call for Papers for instructions on formatting your submission.
Please direct any enquiries to the PC chairs:
Alastair Donaldson or
David Parker.
Important dates
| Abstract submission deadline: |
26 March 2012 (Anywhere on Earth)
|
| Paper submission deadline: |
26 March 2012 (Anywhere on Earth)
|
| Notification of acceptance: | 7 May 2012 |
| Final versions due: | 14 May 2012 |
| Workshop: | 23-24 July 2012 |
Invited speakers
Invited tutorial
Programme chairs
Local arrangements chair
Programme committee
- 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)
