Program committee

• Andreas Abel (Ludwig-Maximilians-Universität München)
• David Baelde, co-chair (ENS Cachan)
• Lars Birkedal (Aarhus University)
• Arnaud Carayol, co-chair (CNRS / Université Paris-Est, Marne-la-Vallée)
• Javier Esparza (Technische Universität München)
• Neil Ghani (University of Strathclyde)
• Dexter Kozen (Cornell University)
• Ralph Matthes (IRIT, Toulouse)
• Paul-André Melliès (CNRS / Université Paris Denis Diderot)
• Matteo Mio (CWI, Amsterdam)
• Luke Ong (University of Oxford)
• Pawel Parys (Warsaw University)
• Luigi Santocanale (LIF, Université Aix-Marseille I)
• Makoto Tatsuta (National Institute of Informatics, Tokyo)
• Wolfgang Thomas (RWTH Aachen)

Steering committee

• Peter Dybjer (Chalmers University of Technology)
• Anna Ingolfsdottir (Reykjavik University)
• Ralph Matthes, chair (IRIT, Toulouse)
• Dale Miller (INRIA / Ecole Polytechnique, Palaiseau)
• Damian Niwinski (University of Warsaw)
• Luigi Santocanale (LIF, Université Aix-Marseille I)
• Alex Simpson (University of Edinburgh)
• Tarmo Uustalu (Institute of Cybernetics, Tallinn)
• Igor Walukiewicz (LaBRI, Bordeaux)