Program Chairs
- Saddek Bensalem, (Verimag/UJF, France)
- Klaus Havelund, (JPL, USA)
- Kim Larsen, (Aalborg University, Denmark)
- Howard Barringer, (University of Manchester, UK)
- Saddek Bensalem, (Verimag/UJF, France)
- Amedeo Cesta, (Institute for Cognitive Science and Technology, Rome, Italy)
- Steve Chien, (JPL, USA)
- Alessandro Cimatti, (Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy)
- Maria Fox, (University of Strathclyde, UK)
- Dimitra Giannakopoulou, (NASA Ames Research Center, USA)
- Enrico Giunchiglia, (University of Genova, Italy)
- Klaus Havelund, (JPL, USA)
- Gerard Holzmann, (JPL, USA)
- Kim Larsen, (Aalborg University, Denmark)
- Lee McCluskey, (University of Huddersfield, UK)
- David Musliner, (Honeywell Technology Center, USA)
- Corina Pasareanu, (NASA Ames Research Center, USA)
- Paul Pettersson, (Malardalen University, Sweden)
- Douglas Smith, (Kestrel Institute, USA)
- Brian Williams, (MIT, USA)
- Ylies Falcone, (Verimag/UJF, France)