Andrea Asperti.
Dipartimento di Scienze dell'Informazione,
University of Bologna,
Via di Mura Anteo Zamboni, 7,
40127 Bologna, Italy.
Phone: (39) 051.209.45.05.
Fax: (39) 051.209.45.10.
Email: asperti@cs.unibo.it.
Serge Autexier.
Computer Science Dept., Saarland University, Saarbruecken, Germany
and
German Research Center for Artificial Intelligence (DFKI), Saarbruecken,
Germany. Phone: +49-681-302-5073.
Fax: +49-681-302-2235.
Email: autexier@dfki.de
Grzegorz Bancerek.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: bancerek@math.uwb.edu.pl.
Professor Henk Barendregt
Chair of Foundations of Mathematics and Computer Science,
Catholic University of Nijmegen, Informatica, PO Box 9010,
6500 GL Nijmegen, The Netherlands, email: henk@cs.kun.nl
Telephone : +31.24.3652642
Secretary : +31.24.3652643
Fax : +31.24.355 3450
Christoph Benzmueller.
AG Deduktionssysteme ,
FR Informatik ,
Universität des Saarlandes ,
D-66041 Saarbrücken ,
Germany.
Phone: +49-681-302-4574.
Fax: +49-681-302-5076.
E-mail: chris@ags.uni-sb.de
Professor N.G. de Bruijn.
Eindhoven University of Technology, Department of Mathematics
and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands.
Email debruijn@win.tue.nl.
Alan Bundy.
Division of Informatics,
University of Edinburgh,
80 South Bridge,
Edinburgh, EH1 1HN,
Scotland.
Tel: 44-131-650-9342,
Fax: 44-131-650-6516
Email: bundy@dai.ed.ac.uk,
Czeslaw Bylinski.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: bylinski@math.uwb.edu.pl.
Roy McCasland.
Division of Informatics,
University of Edinburgh,
80 South Bridge,
Edinburgh, EH1 1HN,
Scotland.
Tel: 44-131-650-9342,
Fax: 44-131-650-6516,
Email: rmccasla@dai.ed.ac.uk,
Paul Cairns.
UCL Interaction Centre, University College London,
Remax House,
30-32 Albert Place,
London, WC1E 2DP, UK.
Phone: +44 (0)20 7679 5208.
Email: p.cairns@ucl.ac.uk.
Sebastian Carlier.
Heriot-Watt University, School of mathematical and Computer Sciences,
Riccarton,
Edinburgh EH14 4AS, Scotland. Email: sebc@macs.hw.ac.uk.
Tel:+44 131 451 3336. Fax: +44 131 451 3327.
Professor Robert Constable, Department of Computer Science,
4149 Upson Hall,
Cornell University,
Ithaca, NY 14853,
USA.
Email: rc@cs.cornell.edu.
Adrian Craciun.
Research Institute for Symbolic Computation
(RISC-Linz) Johannes Kepler University A-4040 Linz, Austria.
Email: craciun@risc.uni-linz.ac.at
Professor Ingo Dahn.
University of Koblenz, Germany.
Email: dahn@uni-koblenz.de.
Phone: +49-261-287-2771.
James Davenport.
Department of Computer Science,
University of Bath,
Bath,
BA2 7AY,
United Kingdom.
Telephone: +44 1225 386181.
Fax: +44 1225 383436.
E-mail Address: J.H.Davenport@bath.ac.uk.
Mike Dewar.
URL: http://www.nag.co.uk/~miked
Email: miked@nag.co.uk
Armin Fiedler.
Universitet des Saarlandes,
FR Informatik, Postfach 15 11 50.
D-66041 Saarbr=FCcken, Germany.
Phone: +49-681-302-2139. Fax: +49-681-302-5076. e-mail: afiedler@cs.uni-sb.de.
Lilia Georgiva.
Department of Computer Science,
School of Mathematical and Computer Sciences,
Heriot-Watt University,
Riccarton Campus.
Edinburgh EH14 4AS.
Email: L.Georgieva@hw.ac.uk.
Tel: +44 (0)131 451 8159.
Fax: +44 (0)131 451 3327.
George Goguadze.
Universitdt des Saarlandes
und
Deutsches Forschungszentrum f|r K|nstliche Intelligenz,
D-66123 Saarbr|cken,
Germany.
Email: george@ags.uni-sb.de
A Gonzalez.
Universitdt des Saarlandes
und
Deutsches Forschungszentrum f|r K|nstliche Intelligenz,
D-66123 Saarbr|cken,
Germany.
Email:
Jeremy Gow.
UCL Interaction Centre (UCLIC),
University College London,
Remax House,
31-32 Alfred Place,
London WC1E 7DP, UK.
Tel. +44 (0)20 7679 5232.
Fax. +44 (0)20 7580 1100.
Email: j.gow@ucl.ac.uk.
Adam Grabowski.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: adam@math.uwb.edu.pl.
Dr
Tudor Jebelean. Research Institute for Symbolic Computation
(RISC-Linz) Johannes Kepler University A-4040 Linz, Austria.
Phone: +43 7236 3231 46.
Fax: +43 7236 3231 30.
Email: Tudor.Jebelean@risc.uni-linz.ac.at.
Fairouz Kamareddine.
Heriot-Watt University, School of mathematical and Computer Sciences,
Riccarton,
Edinburgh EH14 4AS, Scotland. Email: .
Tel:+44 131 451 3868. Fax: +44 131 451 8179.
Manfred Kerber.
School of Computer Science,
The University of Birmingham,
Birmingham B15 2TT,
M.Kerber@cs.bham.ac.uk.
Kobayashi.
Kobayashi, Hidetsune
Nihon University, Japan
1-8 Kanda Surugadai, Chiyoda-ku, Tokyo
101 Japan.
e-mail: hikoba@math.cst.nihon-u.ac.jp
Franz Lichtenberger.
Software Competence Center Hagenberg (SCCH),
Hauptstrasse 99,
A-4232 Hagenberg/Austria.
e-mail: franz.lichtenberger@scch.at
Yong Luo,
Department of Computer Science
University of Durham
Manuel Maarek.
Heriot-Watt University, School of mathematical and Computer Sciences,
Riccarton,
Edinburgh EH14 4AS, Scotland. Email: mm20@macs.hw.ac.uk.
Tel:+44 131 4495111 (ext 4196). Fax: +44 131 451 3327.
Antony Maciocia.
School of Maths,
The University of Edinburgh,
JCMB - Kings Buildings,
Mayfield Road,
EH93JZ. Email: A.Macioicia@ed.ac.uk
Roman Matuszewski.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: romat@mizar.org,
Manolis Mavrikis.
School of Maths,
The University of Edinburgh,
JCMB - Kings Buildings,
Mayfield Road,
EH93JZ. Email: M.Mavrikis@ed.ac.uk
Erica Melis.
Universitdt des Saarlandes
und
Deutsches Forschungszentrum f|r K|nstliche Intelligenz,
D-66123 Saarbr|cken,
Germany.
Phone: +49-681-302-4629.
Fax: +49-681-302-5076.
Adam Naumowicz.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: adamn@math.uwb.edu.pl
Koji Nakagawa.
Kyushu Unversity, Faculty of Mathematics, Kyushu Univ., Hakozaki 6-10-1, Higashi-ku, Fukuoka-shi, 812-8581 JAPAN.
E-mail: nakagawa@math.kyushu-u.ac.jp
Amelia Rastei.
Heriot-Watt University, School of mathematical and Computer Sciences,
Riccarton,
Edinburgh EH14 4AS, Scotland. Email: amelia@macs.hw.ac.uk.
Tel:+44 131 4495111 (ext 4196). Fax: +44 131 451 3327.
Krzysztof Retel.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: retel@uwb.edu.pl
Florina Piroi.
Research Institute for Symbolic Computation
(RISC-Linz) Johannes Kepler University A-4040 Linz, Austria.
Florina.Piroi@risc.uni-linz.ac.at
Renaud Rioboo,
Universite Paris 6, LIP6 - Case 168, 4 Place Jussieu,
F-75252 Paris CEDEX 05,
Phone : +(33-1) 44-27-33-41.
Fax : +(33-1) 44-27-88-78.
mailto://Renaud.Rioboo@lip6.fr
Carsten Schuermann.
Department of Computer Science,
Yale University,
51 Prospect St.
New Haven, CT 06511.
USA.
Tel: ++1 203 432 2349.
carsten@cs.yale.edu.
Alan Sexton.
School of Computer Science,
The University of Birmingham,
Birmingham B15 2TT,
Email: A.P.Sexton@cs.bham.ac.uk.
Pierre-Yves Strub.
Heriot-Watt University, School of mathematical and Computer Sciences,
Riccarton,
Edinburgh EH14 4AS, Scotland. Email: strub@macs.hw.ac.uk.
Tel:+44 131 4495111 (ext 4196). Fax: +44 131 451 3327.
Andrzej Trybulec.
University of Bialystok,
Sklodowskiej-Curie 14 (street),
15-097 Bialystok, Poland,
Email: trybulec@math.uwb.edu.pl
Joe Wells.
Heriot-Watt University, School of Mathematical and Computer Sciences,
Riccarton,
Edinburgh EH14 4AS, Scotland. Email: jbw@macs.hw.ac.uk.
Tel:+44 131 451 3869. Fax: +44 131 451 8179.
Juergen Zimmer, University of Saarbrücken and Edinburgh, 22/7 Blackwood Crescent, EH9 1QX Edinburgh, Scotland,
http://www.mathweb.org/~jzimmer,
Tel : +44 (0)131 651 4159. Fax: +44 (0)131 650 6513.