Eighth Workshop on Automated Reasoning, 2001
			 Organizing Committee


Arthan, Robin D.
  Lemma 1
  27 Brook Street
  Twyford, Berkshire RG10 9NX
  United Kingdom
  Tel: 0118 958 4409
  Fax: 0118 958 4490 
  Email: rda@lemma-one.com
  http://www.trireme.demon.co.uk/Arthan/homepage.html

Bundy, Alan 
  Dept. of Artificial Intelligence
  Univ. of Edinburgh
  80 South Bridge
  Edinburgh EH1 1HN
  United Kingdom
  Tel: +44 131 650 2716
  Fax: +44 131 650 6516
  Email: A.Bundy@Edinburgh.ac.uk
  http://www.dai.ed.ac.uk/daidb/staff/Alan_Bundy.html

Cohn, Tony 
  Division of Artificial Intelligence
  School of Computer Studies 
  University of Leeds
  Leeds LS2 9JT
  United Kingdom
  Tel: +44 113 233 5482
  Fax: +44 113 233 5468
  Email: agc@scs.leeds.ac.uk
  http://www.scs.leeds.ac.uk/scs/public/staff/agc.html

Crocker, David 
  Intelligent Micro Software Ltd.
  3 Archipelago Business Park
  Lyon Way
  Frimley GU16 5ER
  United Kingdom
  Tel: +44 1276 686569
  Fax: +44 1276 686510
  Email: dcrocker@imsltd.com
  http://www.imsltd.com

Dixon, Clare
  Department of Computer Science
  University of Liverpool
  Liverpool L69 7ZF
  United Kingdom
  Tel: +44 151 794 3674
  Fax: +44 151 794 3715
  Email: C.Dixon@csc.liv.ac.uk
  http://www.csc.liv.ac.uk/~clare

Endriss, Ulrich (Secretary/Treasurer)
  Department of Computer Science 
  King's College London      
  Strand, London WC2R 2LS
  United Kingdom
  Tel: +44 20 7848 2985
  Fax: +44 20 7240 1071
  Email: endriss@dcs.kcl.ac.uk
  http://www.dcs.kcl.ac.uk/staff/endriss/

Fisher, Michael
  Department of Computer Science
  University of Liverpool
  Liverpool L69 7ZF
  United Kingdom
  Tel: +44 151 794 6701
  Fax: +44 151 794 3715
  Email: M.Fisher@csc.liv.ac.uk
  http://www.csc.liv.ac.uk/~michael

Frisch, Alan M.  (Chair of Organizing Committee)
  Department of Computer Science
  University of York         
  York YO10 5DD                
  United Kingdom
  Tel: +44 1904 432745
  Fax: +44 1904 432767
  Email: frisch@cs.york.ac.uk
  http://www.cs.york.ac.uk/~frisch

Gent, Ian P 
  School of Mathematical and Computational Sciences
  University of St. Andrews
  North Haugh, St Andrews, Fife KY16 9SS
  United Kingdom
  Tel: +44 1334 46 3247
  Fax: +44 1334 46 3278  
  Email: ipg@dcs.st-and.ac.uk
  http://www.dcs.st-and.ac.uk/~ipg/

Ireland, Andrew 
  Dept. of Computing & Electrical Engineering
  Heriot-Watt University
  Riccarton, Edinburgh
  Scotland, UK
  EH14 4AS
  Tel: +44 131 451 3409
  Fax: +44 131 451 3327
  Email: air@cee.hw.ac.uk
  http://www.cee.hw.ac.uk/~air/

Kerber, Manfred 
  School of Computer Science    
  The University of Birmingham  
  Birmingham, B15 2TT
  United Kingdom
  Tel: +44 121 414 4787   
  Fax: +44 121 414 4281  
  Email: M.Kerber@cs.bham.ac.uk
  http://www.cs.bham.ac.uk/~mmk

Ohlbach, Hans Juergen 
  Institute of Computer Science
  Ludwig Maximilians University Munich
  Oettingenstr. 67
  D-80538 Munich
  Germany
  Tel: +49 89 2178 2200
  Fax: +49 89 2178 2211
  Email: ohlbach@informatik.uni-muenchen.de
  http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach

Voronkov, Andrei (Programme Chair)
  Department of Computer Science
  University of Manchester
  Oxford Road
  Manchester M13 9PL
  United Kingdom
  Tel: +44 161 275 6116
  Fax: +44 161 275 6204
  Email: voronkov@cs.man.ac.uk
  http://www.cs.man.ac.uk/~voronkov

Walsh, Toby 
  Department of Computer Science
  University of York         
  York YO10 5DD                
  United Kingdom
  Tel: +44 1904 432722
  Fax: +44 1904 432767
  Email: tw@cs.york.ac.uk
  http://dream.dai.ed.ac.uk/group/tw