Organization

Program Committee

  • Alessandra Bagnato, Softeam, FR
  • Stylianos Basagiannis, UTRC Ireland, IE
  • Cinzia Bernardeshi, Univ. of Pisa, IT
  • Armin Biere, JKU Linz, AT
  • Goetz Botterweck, Lero, IE
  • Jorg Brauer, Verified Systems, DE
  • Alessandro Fantechi, University of Florence, IT
  • Alberto Griggio, Fondazione Bruno Kessler, IT
  • Patrick Heymans, Univ. of Namur, BE
  • Christian Koenig, TWT, DE
  • Tiziana Margaria, Lero and University of Limerick, IE
  • Anastasia Mavridou, NASA Ames Research Centre, US
  • Anila Mjeda, Lero, IE
  • David Parker, University of Birmingham, UK
  • 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