Program Committee
- Éric Badouel (IRISA, FR) [DBLP]
- Kamel Barkaoui (CNAM, FR) [DBLP]
- Frédéric Blanqui (INRIA, FR) [DBLP]
- Eduardo Bonelli (Universidad Nacional de Quilmes, AR) [DBLP]
- Ana Cavalcanti (University of York, UK) [DBLP]
- Uli Fahrenberg (LIX, FR) [DBLP]
- Adrian Francalanza (University of Malta, MT) [DBLP]
- Ahmed Hadj Kacem (University of Sfax, TN) [DBLP]
- Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR) [DBLP]
- Ross Horne (University of Luxembourg, LU) [DBLP]
- David Janin (University of Bordeaux, FR) [DBLP]
- Jan Kretinsky (Technische Universität München, DE) [DBLP]
- Martin Leucker (Universität zu Lübeck, DE) [DBLP]
- Radu Mardare (Aalborg Universitet, DK) [DBLP]
- Dominique Méry (LORIA, FR) [DBLP]
- Mohammadreza Mousavi (University of Leicester, UK) [DBLP]
- Tobias Nipkow (Technische Universität München, DE) [DBLP]
- Maciej Piróg (Wroclaw University, PL) [DBLP]
- Sanjiva Prasad (IIT Delhi, IN) [DBLP]
- Riadh Robbana (INSAT, TN) [DBLP]
- Augusto Sampaio (Universidade Federal de Pernambuco, BR) [DBLP]
- Georg Struth (University of Sheffield, UK) [DBLP]
- Cong Tian (Xidian University, CN) [DBLP]
- Tarmo Uustalu (Reykjavik University, IS / Tallinn University of Technology, EE) [DBLP]