Program committee and organization co-chairs

Organization Committee

  • Auriane Dantès – CNRS, LaBRI (France)
  • Clémence Frioux – Inria Bordeaux (France)
  • Isabelle Garcia –  CNRS, LaBRI (France)
  • Misbah Razzaq – Inserm BPH, Bordeaux (France)
  • Laurent Simon – Bordeaux INP, LaBRI (France)

Program Committee

Tool Evaluation Committee

Steering Committee

  • Alessandro Abate – University of Oxford (UK) – guest member
  • Luca Bortolussi – University of Trieste (Italy) – guest member
  • Luca Cardelli – University of Oxford (UK)
  • Eugenio Cinquemani – Inria Grenoble-Rhône-Alpes (France) – guest member
  • Finn Drablos – NTNU (Norway)
  • François Fages – Inria Saclay Île-de-France (France)
  • David Harel – Weizmann Institute of Science (Israel)
  • Monika Heiner – Brandenburg Technical University Cottbus-Senftenberg (Germany)
  • Tommaso Mazza – IRCCS Casa Sollievo della Sofferenza – Mendel (Italy)
  • Satoru Miyano – University of Tokyo (Japan)
  • Loïc Paulevé – CNRS, LaBRI (France) – guest member
  • Ion Petre – University of Turku (Finland)
  • Tatjana Petrov – University of Konstanz (Germany) – guest member
  • Gordon Plotkin – University of Edinburgh (UK)
  • Corrado Priami – CoSBi / Microsoft Research, University of Trento (Italy)
  • Guido Sanguinetti – The University of Edinburgh (UK) – guest member
  • Carolyn Talcott – SRI International (USA)
  • Adelinde Uhrmacher – University of Rostock (Germany)
  • Verena Wolf – Saarland University (Germany)

Past CMSB Events