Committees
Programme Committee
- Andreas Abel, Ludwig-Maximilians-University Munich, Germany
- Davide Ancona, University of Genova, Italy
- Adriana Balan, University Politehnica of Bucharest, Romania
- Marta Bilkova, Charles University in Prague, Czech Republic
- Filippo Bonchi, LIP ENS-Lyon, France
- Marcello Bonsangue (chair), LIACS, Leiden University, The Netherlands
- Joerg Endrullis, Free University of Amsterdam, The Netherlands
- Remy Haemmerle, Universidad Politecnica de Madrid, Spain
- Bart Jacobs, Radboud University Nijmegen, The Netherlands
- Dexter Kozen, Cornell University, Ithaca, United States of America
- Bartek Klin, University of Warsaw, Poland
- Pierre Lescanne, ENS Lyon, France
- Stefan Milius, Friedrich-Alexander University of Erlangen-Nuernberg , Germany
- Rob Myers, Technical University of Braunschweig, Germany
- Dirk Pattinson, Australian National University, Australia
- Daniela Petrisan, University of Leicester, United Kingdom
- Grigore Rosu, University of Illinois at Urbana-Champaign, United States of America
- Katsuhiko Sano, JAIST, Nomi, Japan
- Monika Seisenberger, Swansea University, United Kingdom
- Ana Sokolova, University of Salzburg, Austria
Publicity Chair
- Alexandra Silva, Radboud University Nijmegen and CWI, The Netherlands
Steering Committee
- Jiri Adamek, Technical University of Braunschweig, Germany
- Marcello Bonsangue, LIACS, Leiden University, The Netherlands
- Corina Cirstea, University of Southampton, United Kingdom
- H. Peter Gumm (chair), University of Marburg, Germany
- Bart Jacobs, Radboud University Nijmegen, The Netherlands
- Alexander Kurz, University of Leicester, United Kingdom
- Marina Lenisa, University of Udine, Italy
- Ugo Montanari, University of Pisa, Italy
- Larry Moss, Indiana University, Bloomington, United States of America
- Dirk Pattinson, Australian National University, Australia
- John Power, University of Bath, United Kingdom
- Horst Reichel, Technical University of Dresden, Germany
- Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands
- Lutz Schröder, Friedrich-Alexander University of Erlangen-Nuernberg , Germany