| Andrew A. Adams, University of Reading,
UK
|
| Alessandro Armando, Università di
Genova, Italy
|
| Michael Beeson, San Jose State
University, USA
|
| Wieb Bosma, Radboud Universiteit
Nijmegen, The Netherlands
|
| Manuel Bronstein, INRIA Sophia
Antipolis, France
|
| Jacques Calmet, Universität Karlruhe,
Germany
|
| Jürgen Gerhard, Maplesoft,
Canada
|
| Michael Kohlhase, International
University Bremen, Germany
|
| Marc Moreno Maza, University of Western
Ontario, Canada
|
| Roy McCasland, University of Edinburgh,
UK
|
| Silvio Ranise, LORIA and INRIA
Lorraine, France
|
| Piotr Rudnicki, University of Alberta,
Canada
|
| Volker Sorge, University of Birmingham,
UK
|
| Adam Strzebonski, Wolfram Research,
USA
|
| Volker Weispfenning, Universität
Passau, Germany
|