Organisation

PC co-chairs

• Milan Češka – Brno University of Technology  (Czech Republic)
• David Šafránek – Masaryk University (Czech Republic)

 Local Organisation Chair

• David Šafránek – Masaryk University  (Czech Republic)

Local Organisation Committee

• Martin Demko – Masaryk University (Czech Republic)
• Matej Hajnal – Masaryk University (Czech Republic)
• Samuel Pastva – Masaryk University (Czech Republic)
• Matej Troják – Masaryk University (Czech Republic)

Web and technical administrators

• Jakub Hrabec
• Adam Rambousek – Masaryk University (Czech Republic)

Program Committee

• Alessandro Abate – University of Oxford (UK)
• Ezio Bartocci – Vienna University of Technology (Austria)
• Nikola Beneš – Masaryk University (Czech Republic)
• Luca Bortolussi – Univerity of Trieste (Italy)
• Luca Cardelli – Microsoft Research (UK)
• Milan Češka – Brno University of Technology (Czech Republic) (co-chair)
• 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)
• Christoph Flamm – University of Vienna (Austria)
• Tomáš Gedeon – Montana State University (USA)
• Radu Grosu – Vienna University of Technology (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)
• Oded Maler – VERIMAG/CNRS – Grenoble (France)
• Tommaso Mazza – RCCS Casa Sollievo della Sofferenza – Mendel (Italy)
• Satoru Miyano – The University of Tokyo (Japan)
• Andrzej Mizera – Luxembourg Institute of Health (LIH) and Luxembourg Centre for Systems Biomedicine (LCSB) (Luxembourg)
• Pedro T. Monteiro – INESC-ID / IST – Universidade de Lisboa (Portugal)
• Laura Nenzi – Vienna University of Technology (Austria)
• Nicola Paoletti – Stony Brook University (USA)
• Loïc Paulevé – CNRS/LRI (France)
• Ion Petre – Åbo Akademi 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)
• Guido Sanguinetti – The University of Edinburgh (UK)
• Thomas Sauter – University of Luxembourg (Luxembourg)
• Heike Siebert – Freie Universität Berlin (Germany)
• Abhyudai Singh – University of Delaware (USA)
• David Šafránek – Masaryk University (Czech Republic) (co-chair)
• Carolyn Talcott – SRI International (USA)
• Chris Thachuk – California Institute of Technology (USA)
• P.S. Thiagarajan – Harvard University (USA)
• Adelinde Uhrmacher – University of Rostock (Germany)
• Verena Wolf – Saarland University (Germany)
• Boyan Yordanov – Microsoft Research (UK)
• Paolo Zuliani – Newcastle University (UK)

Tool Evaluation Committee

• Giulio Caravagna – University of Edinburgh (UK)
• Matej Hajnal – Masaryk University (Czech Republic)
• Juraj Kolčák – LSV, Inria & ENS Paris-Saclay, Université Paris-Saclay (FR)
• Luca Laurenti – University of Oxford (UK)
• Jiří Matyáš – Brno University of Technology (Czech Republic)
• Samuel Pastva – Masaryk University (Czech Republic) (chair)
• Fedor Shmarov – Newcastle University (UK)
• Max Whitby – University of Oxford (UK)

Steering Committee

• Ezio Bartocci – Vienna University of Technology (Austria) – 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)
• Carolyn Talcott – SRI International (USA)
• Adelinde Uhrmacher – University of Rostock (Germany)

 Past CMSB Events