Committees

Steering Committee

• Roberto Amadio (PPS, Université Paris Diderot - Paris 7,  France)
• Jos Baeten (Eindhoven University of Technology, The Netherlands)
• Eike Best (Carl von Ossietzky Universität Oldenburg, Germany)
• Kim Larsen (Aalborg University, Denmark)
• Ugo Montanari (Università di Pisa, Italy)
• Scott Smolka (SUNY, Stony Brook University, USA)

Program Chairs

• Paul Gastin (LSV, ENS Cachan, France)
• François Laroussinie (LIAFA, Université Denis Diderot - Paris 7, France)

Program Committee

• Martín Abadi (UC Santa Cruz and Microsoft Research, CA, USA)
• Parosh Abdulla (Uppsala University, Sweden)
• Jos Baeten (Eindhoven University of Technology, The Netherlands)
• Steffen van Bakel (Imperial College London, UK)
• Julian Bradfield (University of Edinburgh, UK)
• Luís Caires (Universidade Nova de Lisboa, Portugal)
• Luca Cardelli (Microsoft Research Cambridge, UK)
• Vincent Danos (University of Edinburgh, UK)
• Paul Gastin (LSV, ENS Cachan, France)
• Daniele Gorla (Università di Roma "La Sapienza", Italy)
• Anna Ingólfsdóttir (Reykjavik University, Iceland)
• Petr Jancar (Technical University of Ostrava, Czech Republic)
• Joost-Pieter Katoen (RWTH Aachen University, Germany and University of Twente, The Netherlands)
• François Laroussinie (LIAFA, Université Denis Diderot - Paris 7, France)
• Kim Larsen (Aalborg University, Denmark)
• Nancy Lynch (Massachusetts Institute of Technology, USA)
• Ugo Montanari (Università di Pisa, Italy)
• Markus Müller-Olm (Münster University, Germany)
• K. Narayan Kumar (Chennai Mathematical Institute, India)
• Catuscia Palamidessi (LIX, INRIA, France)
• Prakash Panangaden (McGill School of Computer Science, Canada)
• Wojciech Penczek (IPI PAN, University of Podlasie, Poland)
• Shaz Qadeer (Microsoft Research Redmond, WA, USA)
• Jan Rutten (CWI, The Netherlands)
• Roberto Segala (Università di Verona, Italy)
• P.S. Thiagarajan (National University of Singapore)
• Walter Vogler (University of Augsburg, Germany)

Organizing Committee

• Benedikt Bollig (LSV, CNRS, France)
• Stefan Haar (LSV, INRIA, France)
• Florian Horn (LIAFA, CNRS, France)
• Stefan Schwoon (LSV, INRIA, France)
• Olivier Serre (LIAFA, CNRS, France)
• Mihaela Sighireanu (LIAFA, Université Denis Diderot - Paris 7, France)