| Name | Affiliation |
|---|
| A. Nait Abdallah | Dept Computer Science, Univ. Western Ontario |
| AA Andreas Abel | Theoretical Computer Science, University of Munich |
| P Aczel | Departments of Mathematics and Computer Science, Manchester University |
| R Adams | University of Manchester |
| T Altenkirch | University of Nottingham, |
| Philippe Audebaud | Lemme Project / INRIA - Sophia Antipolis |
| H P Barendregt | University of Nijmegen |
| Bruno Barras | INRIA Rocquencourt |
| Gertrud Bauer | Technische Universitaet Muenchen |
| Marcin Benke | Chalmers Tekniska Högskola |
| SB Stefano Berardi | Computer Science Dept. University of Turin |
| Stefan Berghofer | TU München |
| Yves Bertot | INRIA Sophia Antipolis |
| M.A. Bezem | Dept. of Informatics, Univ. of Bergen, Norway |
| A.L. Bove | Chalmers University of Technology |
| E Brady | University of Durham |
| N.G. de Bruijn | TUE |
| P Callaghan | University of Durham |
| V Capretta | INRIA Sophia Antipolis |
| Jesper Carlström | Stockholm University |
| L.C. Laurent Chicli | INRIA sophia-Antipolis |
| Alberto Ciaffaglione | Department of Mathematics and Computer Science, University of Udine |
| Coquand | Chalmers Univeristy |
| P. Corbineau | LRI, Université Paris Sud |
| J Courant | LRI Université Paris Sud |
| L. Cruz-Filipe | University of Nijmegen |
| David Delahaye | Chalmers University of Technology |
| J. M. Despeyroux | INRIA Sophia-Antipolis |
| G. Dowek | INRIA |
| DJ Jean Duprat | Ecole Normale Superieure de Lyon-Laboratoire de l'Informatique du Parallelisme |
| Peter Dybjer | Chalmers University, Dept of Computing Science |
| J.C. Filliâtre | LRI, Université Paris Sud |
| M.F. Markus Forsberg | ProLog Group, Computing Sciences, Chalmers University of Technology and Gothenburg University, Sweden |
| MJF Maria Joao Frade | Dep. Informatica - Universidade do Minho |
| N Gambino | Department of Computer Science, University of Manchester |
| J.H. Geuvers | University of Nijmegen |
| Silvia Ghilezan | Ecole Normale Superieure de Lyon |
| J.-Y. Girard | CNRS, Institut de Mathematiques de Luminy |
| AG Adam Grabowski | Institute of Mathematics, University of Bialystok |
| B Gregoire | INRIA Rocquencourt |
| Qiao Haioyan | Chalmers University |
| Michael Hedberg | computing science at chalmers university og technology |
| H Herbelin | INRIA |
| O H Hermant | INRIA Rocquencourt |
| Patrik Jansson | Computing Science, Chalmers |
| G.I. Jojgov | TUE |
| R Kiessling | University of Durham |
| M Konecny | LFCS, University of Edinburgh |
| P Letouzey | L.R.I Université Paris Sud Orsay |
| Y Luo | University of Durham |
| Z Luo | University of Durham |
| N. Magaud | INRIA Sophia Antipolis |
| Per Martin-Löf | Dept. of Mathematics, Stockholm University |
| Ralph Matthes | CNRS Paris |
| Micaela Mayero | Chalmers University of Technology |
| C Mcbride | University of Durham |
| J Mckinna | University of Durham |
| Marino Miculan | Dipartimento di Matematica e Informatica, Universitŕ di Udine |
| Alexandre Miquel | Chalmers University of Technology (Göteborg) |
| AN Adam Naumowicz | Institute of Computer Science, University of Bialystok |
| M. Niqui | University of Nijmegen |
| Bengt Nordström | Chalmers |
| M.D. Oostdijk | University of Nijmegen |
| J Pang | University of Durham |
| C Paulin | LRI |
| L.F.R. Luis Pinto | Dep. Matematica - Universidade do Minho |
| R Pollack | University of Durham |
| A J Power | Laboratory for the Foundations of Computer Science, University of Edinburgh |
| A E J Ranta | Department of Computing Science, Chalmers and Gothenburg University |
| C.R. Renard | INRIA Rocquencourt |
| E Ritter | University of Birmingham |
| R Robert | University of Edinburgh |
| Giovanni Sambin | Dipartimento di Matematica, Universita' di Padova |
| AS Aleksy Schubert | Institute of Informatics, Warsaw University |
| D.S. Scott | Carnegie Mellon University |
| A Setzer | Dept. of Computer Science, University of Wales Swansea |
| J S Jan Smith | Chalmers univ of technology |
| R Statman | Carnegie Mellon University |
| JJ Jasper Stein | University of Nijmegen |
| Dan Synek | University of Nijmegen |
| AT Andrzej Trybulec | Institute of Computer Science, University of Bialystok |
| P. Urzyczyn | Institute of Informatics, Warsaw University |
| Tarmo Uustalu | Departamento de Informática, Universidade do Minho |
| S.V. Vaillant | INRIA |
| M. Markus Wenzel | TU München |
| B. Werner | INRIA-Rocquencourt |
| F. Freek Wiedijk | University of Nijmegen |
| Burkhart Wolff | Universität Freiburg |
| X Zhang | University of Durham |