| Andrea Asperti |
University of Bologna, Italy |
| Laurent Bernardin |
Maplesoft, Canada |
| Jonathan Borwein |
Dalhousie University, Halifax, Canada |
| Thierry Bouche |
Université de Grenoble I, France |
| Bruno Buchberger |
Johannes Kepler University, Linz, Austria |
| Paul Cairns |
University College London, England |
| Olga Caprotti |
University of Helsinki, Finland |
| Bruce Char |
Drexel University, Philadelphia, USA |
| Simon Colton |
Imperial College, London, England |
| Mike Dewar |
Numerical Algorithms Group, Oxford, England |
| William Farmer |
McMaster University, Hamilton, Canada |
| Herman Geuvers |
Radboud University Nijmegen, The Netherlands |
| Tetsuo Ida |
University of Tsukuba, Japan |
| Mateja Jamnik |
University of Cambridge, England |
| Fairouz Kamareddine |
Heriot-Watt University, Scotland |
| Manfred Kerber (co-chair) |
University of Birmingham, England |
| Michael Kohlhase |
International University Bremen, Germany |
| Paul Libbrecht |
DFKI Saarbrücken, Germany |
| Robert Miner (co-chair) |
Design Science, Inc., USA |
| Bengt Nordström |
Chalmers University of Technology, Göteborg, Sweden |
| Ross Reedstrom |
Rice University, USA |
| Eugénio Rocha |
University of Aveiro, Portugal |
| Alan Sexton |
University of Birmingham, England |
| Andrzej Trybulec |
University of Bialystok, Poland |
| Stephen Watt |
The University of Western Ontario, Canada |
| Abdou Youssef |
George Washington University, Washington, DC, USA |
