| Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) |
| Rob Arthan, Queen Mary University of London, UK |
| David Aspinall, Univerity of Edinburgh, UK |
| Michael Beeson, San Jose State University, USA |
| Claudio Sacerdoti Coen, University of Bologna, Italy |
| Thomas Hales, University of Pittsburgh, USA |
| Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL |
| Peter Jipsen, Chapman University, USA |
| Cezary Kaliszyk, University of Innsbruck, Austria |
| Michael Kohlhase, Jacobs University Bremen, Germany |
| Christoph Lange, University of Birmingham, UK |
| Paul Libbrecht, Weingarten University of Education, Germany |
| Ursula Martin, Queen Mary University of London, UK |
| Bruce Miller, NIST, USA |
| Adam Naumowicz, University of Bialystok, Poland |
| Florian Rabe, Jacobs University Bremen, Germany |
| Alan Sexton, University of Birmingham, UK |
| Enrico Tassi, INRIA, France |
| Stephen Watt, University of Western Ontario, Canada |
| Makarius Wenzel, Université Paris-Sud 11, France |
| Freek Wiedijk, Radboud University Nijmegen, The Netherlands |
|
