Organisation

PC co-chairs

• Luca Bortolussi – University of Trieste (Italy)
• Guido Sanguinetti – The University of Edinburgh (UK)

 Local Organisation Chairs

• Luca Bortolussi – University of Trieste (Italy)
• Laura Nenzi – University of Trieste (Italy)

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

• Alessandro Abate – University of Oxford (UK)
• Ezio Bartocci – Vienna University of Technology (Austria)
• Nikola Beneš – Masaryk University (Czech Republic)
• Luca Bortolussi – University of Trieste (Italy) (co-chair)
• Giulio Caravagna – Institute of Cancer Research, London (UK)
• Luca Cardelli – University of Oxford (UK)
• Milan Češka – Brno University of Technology (Czech Republic)
• Claudine Chaouiya – Insituto Gulbenkian de Ciência (Portugal)
• Eugenio Cinquemani – IBIS – INRIA – Grenoble (France)
• Thao Dang – VERIMAG/CNRS – Grenoble (France)
• Hidde de Jong – IBIS – INRIA – Grenoble (France)
• François Fages – INRIA Saclay Île-de-France (France)
• Jérôme Feret – INRIA – Paris (France)
• Jasmine Fisher – Microsoft Research Cambridge (UK)
• Christoph Flamm – University of Vienna (Austria)
• Elisa Franco – University of California Riverside (USA)
• Tomáš Gedeon – Montana State University (USA)
• Calin Guet – IST Austria (Austria)
• Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany)
• Jane Hillston – The University of Edinburgh (UK)
• Heinz Köppl – Technische Universität Darmstadt (Germany)
• Jean Krivine – IRIF – Paris Diderot University (France)
• Tommaso Mazza – RCCS Casa Sollievo della Sofferenza – Mendel (Italy)
• Laura Nenzi – University of Trieste (Italy)
• Marco Nobile – University of Milano-Bicocca (Italy)
• Diego Oyarzún – Imperial College London (UK)
• Nicola Paoletti – Stony Brook University (USA)
• Loïc Paulevé – CNRS/LRI (France)
• Ion Petre – University of Turku (Finland)
• Tatjana Petrov – Universität Konstanz (Germany)
• Carla Piazza – University of Udine (Italy)
• Ovidiu Radulescu – University of Montpellier 2 (France)
• Olivier Roux – Ecole Centrale Nantes (France)
• Jakob Ruess – Institute Pasteur Paris (France)
• David Šafránek – Masaryk University (Czech Republic)
• Guido Sanguinetti – The University of Edinburgh (UK) (co-chair)
• Thomas Sauter – University of Luxembourg (Luxembourg)
• Abhyudai Singh – University of Delaware (USA)
• Carolyn Talcott – SRI International (USA)
• Chris Thachuk – California Institute of Technology (USA)
• P.S. Thiagarajan – Harvard University (USA)
• Adelinde Uhrmacher – University of Rostock (Germany)
• Stefanie Winkelmann – Zuse Institut Berlin (Germany)
• Verena Wolf – Saarland University (Germany)
• Boyan Yordanov – Microsoft Research (UK)
• Paolo Zuliani – Newcastle University (UK)

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

• Ezio Bartocci – Vienna University of Technology (Austria) – guest member
• Milan Češka – Brno University of Technology (Czech Republic) – guest member
• Finn Drablos – NTNU (Norway)
• François Fages – INRIA Saclay Île-de-France (France)
• Jérôme Feret – INRIA – Paris (France) – guest member
• David Harel – Weizmann Institute of Science (Israel)
• Monika Heiner – Brandenburg University of Technology, Cottbus (Germany)
• Heinz Köppl – Technische Universität Darmstadt (Germany) – guest member
• Pietro Lio’ – University of Cambridge (UK) – guest member
• Tommaso Mazza – IRCCS Casa Sollievo della Sofferenza – Mendel (Italy)
• Satoru Miyano – University of Tokyo (Japan)
• Nicola Paoletti – Stony Brook University (USA) – guest member
• Gordon Plotkin – University of Edinburgh (UK)
• Corrado Priami – CoSBi / Microsoft Research, University of Trento (Italy)
• David Šafránek – Masaryk University (Czech Republic) – guest member
• Carolyn Talcott – SRI International (USA)
• Adelinde Uhrmacher – University of Rostock (Germany)

 Past CMSB Events