Committees
Programme Chairs
Programme Committee
- Erika Abraham (RWTH Aachen University, Germany)
- Parosh Aziz Abdulla (Uppsala University, Sweden)
- Eugene Asarin (LIAFA / University Paris Diderot, France)
- Luca Bortolussi (University of Trieste, Italy)
- Alexandre David (Aalborg University, Denmark)
- Alexandre Donzé (UC Berkeley, USA)
- Georgios Fainekos (Arizona State University, USA)
- Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany)
- Goran Frehse (VERIMAG / University of Grenoble, France)
- Laurent Fribourg (LSV / CNRS, Paris, France)
- Gilles Geeraerts (Université Libré de Bruxelles, Belgium)
- Marcin Jurdzinski (University of Warwick, UK)
- Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Kai Lampka (Uppsala University, Sweden)
- Didier Lime (École Centrale de Nantes, France)
- Nicolas Markey (LSV / CNRS, Paris, France)
- David Parker (University of Birmingham, UK)
- Ocan Sankur (ENS Cachan, France)
- Ana Sokolova (University of Salzburg, Austria)
- Oleg Sokolsky (University of Pennsylvania, USA)
- P.S. Thiagarajan (National University of Singapore, Singapore)
- Louis-Marie Traonouez (IRISA / INRIA Rennes, France)
- Ashutosh Trivedi (IIT Bombay, India)
- Frits Vaandrager (Radboud University Nijmegen, Netherlands)
- Enrico Vicario (University of Florence, Italy)
- Sergio Yovine (CONICET, Argentina)
Steering committee