Participants
Andrew A. Adams
University of St. Andrews
30 Wood Burn Terrace
St. Andrews KY16 8BA
Phone: +44 1334 463268
Fax: +44 1334 463278
Email: aaa@cs.st-and.ac.uk
Rolf Backofen
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstr. 67
D-80538 München (Germany)
Phone: +49 89 2178-2213
Fax: +49 89 2178 2238
Email: backofen@informatik.uni-muenchen.de
Christoph Benzmüller
University of Birmingham
School of Computer Science
Edgbaston B15 2TT
Phone: +44 121 414 4793
Fax: +44 121 414 4281
Email: c.e.benzmuller@cs.bham.ac.uk
Matt Bishop
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2478
Fax: +44 20 7848 2851
Email: bishopm@dcs.kcl.ac.uk
Alexander Bolotov
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M5 1GD
Phone: +44 161 247 1531
Fax: +44 161 247 1483
Email: a.bolotov@doc.mmu.ac.uk
Richard J. Boulton
University of Glasgow
Department of Computing Science
17 Lilybank Gardens
Glasgow G12 8QQ
Phone: +44 141 330 4454
Fax: +44 141 330 4913
Email: boulton@dcs.gla.ac.uk
Alan Bundy
University of Edinburgh
Division of Informatics
80 South Bridge
Edinburgh, EH1 1HN
Phone: +44 131 650 2716
Fax: +44 131 650 6516
Email: a.bundy@ed.ac.uk
David Corfield
King's College London
Department of Philosophy
Strand
London WC2R 2LS
Phone: +44 20 7848 2327
Fax: +44 20 7848 2270
Email: david.corfield@kcl.ac.uk
Anatoli Degtiarev
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 6710
Fax: +44 161 247 1483
Email: a.degtiarev@doc.mmu.ac.uk
Maarten de Rijke
University of Amsterdam
Department of Mathematics, Computer Science, Physics and Astronomy
Plantage Muidergracht 24
1018 TV Amsterdam (The Netherlands)
Phone: +31 20 525 6511
Fax: +31 20 525 5101
Email: mdr@wins.uva.nl
Ulrich Endriss
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2985
Fax: +44 20 7240 1071
Email: endriss@dcs.kcl.ac.uk
Nigel Evans
I.M.S. Limited
3 Archipelago Business Park
Lyon Way, Frimley, Surrey
GU16 5ER
Phone: +44 1276 686 569
Fax: +44 1276 686 510
Email: nevans@imsltd.com
M. Carmen Fernández-Gago
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 3598
Fax: +44 161 247 1483
Email: c.gago@doc.mmu.ac.uk
Alan M. Frisch
University of York
Department of Computer Science
York YO10 5DD
Phone: +44 1904 432745
Fax: +44 1904 432767
Email: frisch@cs.york.ac.uk
Dov Gabbay
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2930
Fax: +44 20 7240 1071
Email: dg@dcs.kcl.ac.uk
Lilia Georgieva
University of Manchester
Computer Science Deparment
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6132
Email: georgiel@cs.man.ac.uk
Jeremy Gow
University of Edinburgh
Division of Informatics
80 South Bridge
Edinburgh EH1 1HN
Phone: +44 131 650 2722
Fax: +44 131 650 6516
Email: jeremygo@dai.ed.ac.uk
James Harland
Royal Melbourne Institute of Technology
Department of Computer Science
GPO Box 2476V
Melbourne 3001 (Australia)
Phone: +61 3 9925 2348
Fax: +61 3 9662 1617
Email: jah@cs.rmit.edu.au
Shymanta M. Hazarika
University of Leeds
School of Computer Studies
Leeds LS2 9JT
Phone: +44 113 233 6806
Fax: +44 113 233 5468
Email: smh@scs.leeds.ac.uk
Joe Hurd
University of Cambridge
Computer Laboratory
Pembroke Street
Cambridge
Phone: +44 1223 334729
Email: joe.hurd@cl.cam.ac.uk
Ullrich Hustadt
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 1515
Fax: +44 161 247 1483
Email: u.hustadt@doc.mmu.ac.uk
Manfred Kerber
University of Birmingham
School of Computer Science
Edgbaston B15 2TT
Phone: +44 121 414 4787
Fax: +44 121 414 4281
Email: m.kerber@cs.bham.ac.uk
Michael Kohlhase
Universität des Saarlandes
Fachbereich Informatik
Im Stadtwald
D-66041 Saarbrücken (Germany)
Phone: +49 681 302 4628
Fax: +49 681 302 2235
Email: kohlhase@cs.uni-sb.de
Konstantin Korovin
University of Manchester
Computer Science Department
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6132
Email: korovink@cs.man.ac.uk
Elena Koublanova
Community College of Philadelphia
1132 liberty Bell Drive
Cherry Hill
NJ 08003 (USA)
Phone: +1 856 616 9235
Email: ekoublanova@ccp.cc.pa.us
Martina Kullmann
ENSAIS Strasbourg
LIIA
24, Bd de la Victoire
F-67084 Strasbourg Cedex (France)
Phone: +33 3 8814 4753
Fax: +33 3 8824 1490
Email: martina@liia.u-strasbg.fr
George Metcalfe
King's College London (from Sept 2000)
11 Malvern Road
Southsea Hampshire PO5 2LZ
Phone: +44 23 9233 6480
Email: gmetcalfe1@dera.gov.uk
Markus Moschner
TU Vienna
Institut für Angewandte und Numerische Mathematik
Wiedner Hauptstr. 8-10
A-1040 Vienna (Austria)
Phone: +43 1 58801 11520
Fax: +43 1 58801 11599
Email: moschm@logic.at
Cláudia Nalon
Manchester Metropolitan University
department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 3598
Fax: +44 161 247 1483
Email: c.nalon@doc.mmu.ac.uk
Hans Jürgen Ohlbach
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstr. 67
D-80538 München (Germany)
Phone: +49 89 2178 2200
Fax: +49 89 2178 2211
Email: ohlbach@informatik.uni-muenchen.de
Regimantas Pliuskevicius
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 1537
Email: r.pliuskevicius@doc.mmu.ac.uk
Allan Ramsay
UMIST
Department of Language Engineering
PO Box 88
Manchester M60 1QD
Phone: +44 161 200 3108
Fax: +44 161 200 3099
Email: allan.ramsay@umist.ac.uk
Alexandre Riazanov
University of Manchester
Computer Science Department
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6132
Fax: +44 161 275 6204
Email: riazanov@cs.man.ac.uk
Odinaldo Rodrigues
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2469
Fax: +44 20 7240 1071
Email: odinaldo@dcs.kcl.ac.uk
Tatiana Rybina
University of Manchester
Department of Computer Science
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6137
Email: rybina@cs.man.ac.uk
Stefan Schlobach
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2985
Fax: +44 20 7240 1071
Email: schlobac@dcs.kcl.ac.uk
Renate Schmidt
University of Manchester
Department of Computer Science
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6163
Fax: +44 161 275 6211
Email: schmidt@cs.man.ac.uk
Paolo Torrini
University of Leeds
School of Computer Studies
Leeds LS2 9JT
Phone: +44 113 233 6806
Email: paolot@scs.leeds.ac.uk
Andrei Voronkov
University of Manchester
Department of Computer Science
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6116
Email: voronkov@cs.man.ac.uk
Jon Williamson
King's College London
Department of Philosophy
Strand
London WC2R 2LS
Phone: +44 20 7848 2327
Fax: +44 20 7848 2270
Email: jon.williamson@kcl.ac.uk
Silvana Zappacosta
Imperial College
Department of Computing
180 Queen's Gate
London SW7 2BZ
Phone: +44 20 7594 8343
Fax: +44 20 7581 8024
Email: sza@doc.ic.ac.uk