PC Chairs
- Alessandro Cimatti (FBK, IT)
- Laura Titolo (NIA/NASA LaRC, USA)
Program Committee
- Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands
- Supratik Chakraborty, IIT Bombay, India
- Pedro D'Argenio, Universidad Nacional de Córdoba, Argentina
- Jennifer Davis, Collins Aerospace, USA
- David Deharbe, Federal University of Rio Grande do Norte, Brazil
- Alexandre Duret-Lutz, Laboratoire de Recherche et Développement de l'Epita, France
- Alessandro Fantechi, University of Florence, Italy
- Alessio Ferrari, CNR, Italy
- Hubert Garavel, INRIA, France
- Pierre-Loic Garoche, ENAC, France
- Klaus Havelund, NASA Jet Propulsion Laboratory, USA
- Jean-Baptiste Jeannin, University of Michigan, USA
- Barbara Jobstmann, EPFL, Switzerland
- Laura Kovac, TU Wien, Austria
- Tiziana Margaria, University of Limerick and LERO, Ireland
- Paolo Masci, NIA/NASA Langley, USA
- Stefan Mitsch, Carnegie Mellon University, USA
- Rosemary Monahan, Maynooth University, Ireland
- David Monniaux, VERIMAG, France
- Sergio Mover, Ecole Politechnique, France
- Yannick Moy, ADACORE, France
- Jorge Navas, Certora, USA
- Dejan Nickovic, Austrian Institute of Technology, Austria
- Kristine Yvonne Rozier, Iowa State University, USA
- Cristina Seceleanu, Malardalen University, Sweden
- Martina Seidl, Johannes Kepler University, Austria
- Jaco van de Pol, Aarhus University, Denmark
- Alicia Villanueva, Universitat Politecnica de Valencia, Spain
- Virginie Wiels, Onera, France
Steering Committee
- Maurice ter Beek (ISTI-CNR, IT)
- Alessandro Fantechi (University of Florence, IT)
- Hubert Garavel (INRIA, FR)
- Tiziana Margaria (University of Limerick and LERO, IE)
- Radu Mateescu (INRIA, FR)
- Jaco van de Pol (Aarhus University, DK)