Programme Committee
| Markus Aderhold |
(TU Darmstadt, Germany) |
| Arjeh Cohen | (Eindhoven University of Technology, The Netherlands) |
| Thierry Coquand | (Chalmers University of Technology, Sweden) |
| James H. Davenport | (University of Bath, UK) |
| David Delahaye | (CNAM, France), Chair |
| Lucas Dixon | (University of Edinburgh, UK) |
| William M. Farmer | (McMaster University, Canada) |
| Temur Kutsia | (RISC, Austria) |
| Assia Mahboubi | (INRIA Saclay, France) |
| Renaud Rioboo | (ENSIIE, France), Chair |
| Julio Rubio | (Universidad de La Rioja, Spain) |
| Volker Sorge | (University of Birmingham, UK) |
| Stephen M. Watt | (University of Western Ontario, Canada) |
| Freek Wiedijk | (Radboud University Nijmegen, The Netherlands) |
| Wolfgang Windsteiger | (RISC, Austria) |
|
