| Andrea Asperti | University of Bologna, Italy |
| Serge Autexier (Co-Chair) | DFKI Saarbrücken & Saarland University, Germany |
| Laurent Bernardin | Maplesoft, Canada |
| Thierry Bouche | Université de Grenoble I, France |
| Paul Cairns | University College London, England |
| Olga Caprotti | University of Helsinki, Finland |
| Simon Colton | Imperial College, London, England |
| Mike Dewar | NAG Ltd., UK |
| William Farmer | McMaster University, Hamilton, Canada |
| Herman Geuvers | Radboud University Nijmegen, The Netherlands |
| Eberhard Hilf | Institute for Science Networking Oldenburg, Germany |
| Tetsuo Ida | University of Tsukuba, Japan |
| Mateja Jamnik | University of Cambridge, England |
| Fairouz Kamareddine | Heriot-Watt University, Scotland |
| Manfred Kerber | University of Birmingham, England |
| Michael Kohlhase | Jacobs University Bremen, Germany |
| Paul Libbrecht | DFKI Saarbrücken, Germany |
| Bruce Miller | NIST, USA |
| Robert Miner | Design Science, Inc., USA |
| Bengt Nordström | Chalmers University of Technology, Göteborg, Sweden |
| Eugénio Rocha | University of Aveiro, Portugal |
| Alan Sexton | University of Birmingham, England |
| Petr Sojka | Masaryk University, Brno, CZ |
| Volker Sorge | University of Birmingham, England |
| Masakazu Suzuki (Co-Chair) | Kyushu University, Japan |
| Andrzej Trybulec | University of Bialystok, Poland |
| Stephen Watt | The University of Western Ontario, Canada |
| Abdou Youssef | George Washington University, Washington, DC, USA |
