PROGRAM CHAIRS
- Jaco van de Pol, U Twente, Netherlands
- Michael Weber, U Twente, Netherlands
PROGRAM COMMITTEE
- Dragan Bosnacki (TU Eindhoven, The Netherlands)
- Jiří Barnat (Masaryk University Brno, Czech Republic)
- Stefan Edelkamp (University of Bremen, Germany)
- Patrice Godefroid (Microsoft Research, Redmond, USA)
- Ganesh Gopalakrishnan (University of Utah, USA)
- Jan Friso Groote (TU Eindhoven, The Netherlands)
- Orna Grumberg (Technion, Israel)
- Gerard Holzmann (NASA/JPL, USA)
- Radu Iosif (Verimag Grenoble, France)
- Stefan Leue (University of Konstanz, Germany)
- Rupak Majumdar (University of California at Berkeley, USA)
- Eric G. Mercer (Brigham Young University, USA)
- Albert Nymeyer (University of New South Wales, Australia)
- Dave Parker (Oxford Univerisity, UK)
- Corina Pasareanu (CMU/NASA Ames, USA)
- Doron Peled (Bar-Ilan University, Israel)
- Paul Pettersson (Malardalen University, Sweden)
- Scott Stoller (Stony Brook University, USA)
- Willem Visser (Stellenbosch University, South Africa)
- Tomohiro Yoneda (National Institute of Informatics, Japan)
STEERING COMMITTEE
As per the SPIN charter, the steering committee consists of the following members:
- Susanne Graf, VERIMAG, France
- Gerard Holzmann, JPL, USA
- Stefan Leue (chair), U Konstanz, Germany
- Pierre Wolper, U Liege, Belgium