| Michael Beeson | (San Jose State University, USA) |
| Christoph Benzmüller | (University of Cambridge, UK) |
| Anna Bigatti | (Universita di Genova, Italy) |
| Wieb Bosma | (Radboud University Nijmegen, Netherlands) |
| Olga Caprotti | (University of Helsinki, Finland) |
| Jacques Carette | (McMaster University, Canada) |
| Thierry Coquand | (Goteborg University, Sweden) |
| James Davenport | (University of Bath, UK) |
| William M. Farmer | (McMaster University, Canada) |
| John Harrison | (Intel Corporation, USA) |
| Deepak Kapur | (University of New Mexico, USA) |
| Henri Lombardi | (Universite de Franche-Comte, France) |
| Tomas Recio | (Universidad de Cantabria, Spain) |
| Renauld Rioboo | (Universite Pierre et Marie Curie, France) |
| Julio Rubio | (Universidad de La Rioja, Spain), Chair |
| Volker Sorge | (University of Birmingham, UK) |
| Makarius Wenzel | (Technische Universitat Munchen, Germany) |
| Freek Wiedijk | (Radboud University Nijmegen, Netherlands), Chair |
| Wolfgang Windsteiger | (RISC-Linz, Austria) |
