Organization
Steering Committee
Ezio Bartocci TU Wien, Austria
Finn Drablos NTNU, Norway
François Fages Inria, France
David Harel Weizmann Institute of Science, Israel
Monika Heiner Brandenburg University of Technology, Germany
Pietro Liò University of Cambridge, UK
Tommaso Mazza IRCCS Casa Sollievo della Sofferenza - Mendel, Italy
Satoru Miyano University of Tokyo, Japan
Nicola Paoletti Stony Brook University, USA
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
Program Committee Co-chairs
Jérôme Feret Inria/ENS, France
Heinz Koeppl Technische Universität Darmstadt, Germany
Tools Track Chair
Pierre Boutillier Harvard Medical School, USA
Local Organization Chair
Heinz Koeppl Technische Universität Darmstadt, Germany
Program Committee
John Albeck University of California, Davis, USA
Ezio Bartocci TU Wien, Austria
Guillaume Beslon INSA-Lyon/Inria, France
Luca Bortolussi University of Trieste, Italy
Jérémie Bourdon Nantes University, France
Pierre Boutillier Harvard Medical School, USA
Luca Cardelli Microsoft Research, Cambridge, UK
Vincent Danos CNRS/ENS, France and University of Edinburgh, UK
Joëlle Despeyroux Inria Sophia Antipolis, France
James Faeder University of Pittsburgh, USA