Organisation

PC co-chairs

• Alessandro Abate – University of Oxford (UK)
• Tatjana Petrov – University of Konstanz (Germany)
• Verena Wolf – Saarland University (Germany)

 Local Organisation Chair

• Tatjana Petrov – University of Konstanz (Germany)

Local Organisation Committee

• Jacob Davidson – University of Konstanz (Germany)
• Matej Hajnal – Masaryk University (Czech Republic)
• Stefano Tognazzi – University of Konstanz (Germany)

Web and technical administrators

• Aamir Rizwani – University of Konstanz (Germany)
• Jennifer Durai – University of Konstanz (Germany)

Program Committee

• Paolo Ballarini – INRIA Rennes Bretagne Atlantique (France)

• Ezio Bartocci – Vienna University of Technology (Austria)

• Luca Bortolussi – University of Trieste (Italy)

• Pierre Boutillier – Harvard University (USA)

• Milan Češka – Brno University of Technology (Czech Republic)

• Eugenio Cinquemani – IBIS INRIA (France)

• Neil Dalchau – MSR Cambridge (England)

• François Fages – INRIA Saclay Île-de-France (France)

• Jerome Feret – INRIA Paris (France)

• Christoph Flamm – University of Vienna (Austria)

• Ashutosh Gupta – Indian Institute of Technology Bombay (India)

• Jan Hasenauer – LIMES-Institut, Universität Bonn (Germany)

• Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany)

• Jane Hillston – The University of Edinburgh (UK)

• Katsumi Inoue – National Institute of Informatics (Japan)

• Jan Kretinsky – Technical University of Munich (Germany)

• Jean Krivine – Paris Dide rot University (France)

• Hillel Kugler – Bar-Ilan University (Israel)

• Morgan Magnin – Laboratory of Digital Sciences of Nantes (France)

• Chris Myers – University of Utah (USA)

• Laura Nenzi – University of Trieste (Italy)

• Joachim Niehren – INRIA (France)

• Loïc Paulevé – CNRS/LRI (France)

• Carla Piazza – University of Udine (Italy)

• Ovidiu Radulescu – University of Montpellier (France)

• Andre Ribeiro – Ecole Centrale Nantes (France)

• Olivier Roux – Tampere University (Finland)

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

• Guido Sanguinetti – The University of Edinburgh (UK)

• Abhyudai Singh – University of Delaware (USA)

• Scott Smolka – Stony Brook University (USA)

• Carolyn Talcott – SRI International (USA)

• Mirco Tribastone – IMT LUCCA (Italy)

• Adelinde Uhrmacher – University of Rostock (Germany)

• Andrea Vandin – Technical University of Denmark (Denmark)

• Verena Wolf – Saarland University (Germany)

• Boyan Yordanov – Microsoft Research (UK)

Tool Track Chair

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

Tool Evaluation Committee

• Pierre Boutillier – Harvard University (USA)
• Milan Češka – Brno University of Technology (Czech Republic)
• Anastasis Georgoulas – UCL London (UK)
• Matej Hajnal – Masaryk University (Czech Republic)
• Dimitrios Milios – Eurecom (France)
• Simone Silvetti – Esteco SpA (Italy)
• Carlo Spaccasassi – Microsoft Research (UK)
• David Šafránek – Masaryk University (Czech Republic)

Steering Committee

• Alessandro Abate – University of Oxford (UK) – guest member
• 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)
• Jerome Feret – INRIA Paris (France)
• David Harel – Weizmann Institute of Science (Israel)
• Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (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
• Tatjana Petrov – University of Konstanz (Germany) – 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)
• Verena Wolf – Saarland University (Germany)

 Past CMSB Events