Programme Chairs
- Sriram Sankaranarayanan (University of Colorado at Boulder, USA)
- Enrico Vicario (University of Florence, Italy)
Programme Committee
- Bernard Berthomieu (LAAS/CNRS, Toulouse, France)
- Nathalie Bertrand (INRIA Rennes, France)
- Luca Bortolussi (University of Trieste, Italy)
- Marius Bozga (VERIMAG/CNRS, Grenoble, France)
- Víctor Braberman (University of Buenos Aires/CONICET, Argentina)
- Thomas Brihaye (University of Mons, Belgium)
- Laura Carnevali (University of Florence, Italy)
- Franck Cassez (Macquarie University, Sydney, Australia)
- Krishnendu Chatterjee (Institute of science and Technology, Austria)
- Martin Fränzle (Carl von Ossietzky University, Oldenburg, Germany)
- Goran Frehse (VERIMAG / University of Grenoble, France)
- Laurent Fribourg (LSV, ENS Cachan & CNRS, France)
- Radu Grosu (Institute of Computer Engineering, Vienna, Austria)
- Franjo Ivancic (Google, New York, USA)
- Xiaoqing Jin (Toyota Technical Center, Los Angeles, USA)
- Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Kai Lampka (Uppsala University, Sweden)
- Kim G. Larsen (Aalborg University, Denmark)
- Axel Legay (IRISA/INRIA Rennes, France)
- Didier Lime (IRCCyN / École Centrale de Nantes, France)
- Giuseppe Lipari (Lille University, France)
- Oded Maler (VERIMAG/CNRS, Grenoble, France)
- Rahul Mangharam (University of Pennsylvania, USA)
- Nicolas Markey (LSV, ENS Cachan & CNRS, France)
- Cesar Sanchez (IMDEA Software Institute)
- Krishna Shankara Narayanan (Indian Institute Of Technology, Bombay, India)
- Jeremy Sproston (University of Turin, Italy)
- Lothar Thiele (ETH Zurich, Switzerland)
- Ashish Tiwari (SR International, United States)
- Louis-Marie Traonouez (IRISA/INRIA Rennes, France)
- Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA)
- Ashutosh Trivedi (Indian Institute Of Technology, Bombay, India)
- Frits Vaandrager (Radboud University Nijmegen, the Netherlands)
- Mahesh Viswanathan (University of Illinois, Urbana, USA)
Steering committee
- Rajeev Alur (University of Pennsylvania, USA)
- Eugene Asarin (LIAFA / University Paris Diderot, France)
- Thomas A. Henzinger (Institute of Science and Technology, Austria)
- Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Kim G. Larsen (Aalborg University, Denmark)
- Oded Maler (VERIMAG / CNRS, Grenoble, France)
- Lothar Thiele (ETH Zurich, Switzerland)
- Wang Yi (Uppsala University, Sweden)
Publicity Chair
- Marco Paolieri (University of Florence, Italy)
Website Administration
- Simone Mattolini (University of Florence, Italy)