Organization

Program Committee

  • Mathieu Acher, Univ. of Rennes, IRISA, FR
  • Alessandra Bagnato, Softeam, FR
  • Cinzia Bernardeshi, Univ. of Pisa, IT
  • Dirk Beyer, LMU Munich, DE
  • Armin Biere, JKU Linz, AT
  • Jorg Brauer, Verified Systems, DE
  • Jeremy Bryans, Coventry University, UK
  • Maxime Cordy, Univ. of Luxemburg, LU
  • Marco Dinatale, Scuole Santa Anna, IT
  • Alessandro Fantechi, University of Florence, IT
  • Alberto Griggio, Fondazione Bruno Kessler, IT
  • Klaus Havelund, NASA Jet Propulsion Lab, US
  • Patrick Heymans, Univ. of Namur, BE
  • Radu Iosif, VERIMAG, FR
  • Mikoláš Janota, Univ. of Lisbon, PT
  • Stefan Leue, Univ. Konstanz, DE
  • Tiziana Margaria, Lero and University of Limerick, IE
  • Anastasia Mavridou, NASA Ames Research Centre, US
  • David Parker, University of Birmingham, UK
  • Ken Pierce, Univ. of Newcastle, UK
  • Maurice ter Beek, ISTI, Pisa, IT
  • Stavros Tripakis, Aalto University, FI
  • Anthony Ventresque, Lero, IE
  • Tomáš Vojnar, Brno University of Technology, CZ

Workshop Organizers

  • Stylianos Basagiannis, United Technologies Research Centre, IE
  • Goetz Botterweck, Lero-The Irish Software Research Centre, IE
  • Anila Mjeda, Lero-The Irish Software Research Centre, IE