General Chair
- Oded Maler, VERIMAG/CNRS, Grenoble, France
Program Chair
- Eugenio Cinquemani, INRIA, Grenoble, France
- Alexandre Donzé, University of California, Berkeley, USA
Local Contacts
- Sophie Azzaro, INRIA Grenoble - Rhône-Alpes, (sophie dot azzaro at inria dot fr)
- Catherine Bessiere, INRIA Grenoble - Rhône-Alpes, (catherine dot bessiere at inria dot fr)
Program Committee
- Alessandro Abate, University of Oxford, UK
- Frank Allgower, University of Stuttgart, Germany
- Ezio Bartocci, TU Wien, Austria
- Gregory Batt, INRIA Saclay - Ile de France, France
- Joke Blom, CWI, The Netherlands
- Sergiy Bogomolov, IST Austria
- Luca Bortolussi, University of Trieste, Italy
- Luca Cardelli, Microsoft Research, UK
- Milan Ceska, Department of Computer Science, University of Oxford, UK
- Pieter Collins, Maastricht University, The Netherlands
- Thao Dang, CNRS/VERIMAG, France
- Hidde De Jong, INRIA Grenoble - Rhone-Alpes, France
- François Fages, Inria Saclay - Ile de France, France
- Eric Fanchon, CNRS, TIMC-IMAG, France
- Sicun Gao, MIT CSAIL, USA
- Radu Grosu, Stony Brook University, USA
- Joao Hespanha, University of California at Santa Barbara, USA
- Jane Hillston, University of Edinburgh, Scotland
- Hillel Kugler, Microsoft Research, USA
- Sumit Kumar Jha, University of Central Florida, USA
- Agung Julius, Rensselaer Polytechnic Institute, USA
- Oded Maler, CNRS-VERIMAG, France
- Andrzej Mizera, University of Luxembourg
- Chris Myers, University of Utah, USA
- Nicola Paoletti, Department of Computer Science, University of Oxford, UK
- Ion Petre, Department of Computer Science, Åbo Akademi University, Finland
- Alberto Policriti, University of Udine, Italy
- Tatjana Petrov, IST Austria
- Carla Piazza, University of Udine, Italy
- David Šafránek, Masaryk University, Brno, Czech Republic
- Guido Sanguinetti, University of Edinburgh, Scotland
- Abhyudai Singh, University of Delaware, USA
- P S Thiagarajan, Harvard Medical School, USA
- Jana Tumova, Royal Institute of Technology, Sweden
- Verena Wolf, Saarland University, Germany
- Boyan Yordanov, Microsoft Research, UK
- Paolo Zuliani, Newcastle University, UK
Steering Committee
- Ezio Bartocci, Vienna University of Technology, Austria
- Luca Bortolussi, Univerity of Trieste, Italy
- Thao Dang, VERIMAG/CNRS, Grenoble, France
- Adam Halasz, West Virginia University, USA
- Oded Maler, VERIMAG/CNRS, Grenoble, France
- Carla Piazza, University of Udine, Italy
- Alessandro Abate, University of Oxford, Oxford, UK
- David Šafránek, Masaryk University, Brno, Czech Republic