PROGRAMME COMMITTEE

Andreas Abel (Gothenburg University, Sweden)
Bahareh Afshari (U. of Gothenburg, Sweden & U. of Amsterdam, The Netherlands)
Carlo Angiuli (Carnegie Mellon University, USA)
Stefano Berardi (University of Torino, Italy)
Marc Bezem (University of Bergen, Norway)
Ulrik Buchholtz (University of Nottingham, UK)
Cyril Cohen (Inria Sophia Antipolis - Méditerrannée, France)
Herman Geuvers (Radboud University, The Netherlands)
Silvia Ghilezan (University of Novi Sad, Serbia)
Robert Harper (Carnegie Mellon University, USA)
Eduardo Hermo Reyes (Formal Vindications, Spain) (co-chair)
Ambrus Kaposi (Eötvös Loránd University, Hungary)
Delia Kesner (Université Paris Cité, France)
Ekaterina Komendantskaya (Heriot-Watt University, UK)
Marina Lenisa (Università degli Studi di Udine, Italy)
Assia Mahboubi (INRIA, France)
Ralph Matthes (IRIT - CNRS and University of Toulouse, France)
Leonardo de Moura (Microsoft, USA)
Sara Negri (Università degli Studi di Genova, Italy)
Luca Padovani (Università di Camerino, Italy)
Pierre-Marie Pédrot (INRIA, France)
Luís Pinto (Universidade do Minho, Portugal)
Anton Setzer (Swansea University, UK)
Alicia Villanueva (U. Politècnica de València, Spain) (co-chair)