Steering Committee

• Franck Cassez (National ICT Australia & CNRS, Sydney, AU)
• Jean-Michel Couvreur (LIFO, Orléans, F)
• Thierry Jéron (INRIA, Rennes, F)
• François Laroussinie (LIAFA, Paris, F)
• Christof Löding (RWTH Aachen, D)
• Mark D. Ryan (Univ. Birmingham, GB)

Program Committee

• Christel Baier (Technical University of Dresden, D)
• Karthik Bhargavan (Microsoft Research, Cambridge, UK)
• Patricia Bouyer-Decitre (LSV, Cachan, F)
• Véronique Cortier (LORIA/CNRS, F)
• Thomas A. Henzinger (IST Austria, A)
• Petr Jančar (Technical University of Ostrava, CZ)
• Claude Jard (ENS Cachan - Antenne de Bretagne, Rennes, F)
• Joost-Pieter Katoen (RWTH Aachen, D)
• Felix Klaedtke (ETH Zurich, CH)
• Steve Kremer, (LSV, Cachan, F)
• Rupak Majumdar (UC Los Angeles, USA)
• Markus Müller-Olm (University of Münster, D)
• Damian Niwinski (University Warsaw, PL)
• Joel Ouaknine (Oxford University, GB)
• Jean-Francois Raskin (ULB, Bruxelles, B)
• Olivier Roux (IRCCyN, École Centrale de Nantes, F)
• Jeremy Sproston (University of Torino, I)
• Grégoire Sutre (LaBRI, Bordeaux, F)
• Luca Vigano (University of Verona, I)

Local Organization

• Christof Löding