PC co-chairs

 Local Organisation Chairs

Local Organisation Committee

  • Luca Bortolussi – University of Trieste (Italy)
  • Francesca Cairoli – University of Trieste (Italy)
  • Simone Silvetti – Esteco SpA (Trieste)
  • Laura Nenzi – University of Trieste (Italy)

Program Committee

Tool Evaluation Committee

  • Dimitrios Milios – Eurecom (France) (chair)
  • Simone Silvetti – Esteco SpA (Trieste)
  • Daniel Trejo Banos – University of Lausanne (Switzerland)
  • Michalis Michaelides, University of Edinburgh, UK
  • Matej Hajnal, Masaryk University, CZ
  • Chris Banks, University of Edinburgh, UK
  • Anastasis Georgoulas, UCL London, UK

Steering Committee

 Past CMSB Events