Fifth Workshop on Automated Reasoning, 1998


			 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

Fisher, Michael
  Department of Computing                 
  Manchester Metropolitan University    
  Chester Street                                            
  Manchester M1 5GD
  United Kingdom       
  Tel: +44 161 247 1488      
  Fax: +44 161 247 1483      
  Email: M.Fisher@doc.mmu.ac.uk
  http://www.doc.mmu.ac.uk/STAFF/michael/Michael-Fisher.html

Frisch, Alan M.  (Chair of Organizing Committee)                   
  Department of Computer Science
  University of York         
  York YO1 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
  Department of Computer Science                             
  University of Strathclyde 
  Glasgow G1 1XH 
  United Kingdom
  Tel: +44 141 552 4400 extension 4527
  Fax: +44 141 552 5330  
  Email: ipg@cs.strath.ac.uk  
  http://www.cs.strath.ac.uk/Contrib/ipg/

Gordon, Mike
  University of Cambridge Computer Laboratory
  New Museum Site
  Pembroke Street
  Cambridge  CB2 3QG
  United Kingdom
  Tel: +44 1223 334627
  Fax: +44 1223 334678
  Email: Mike.Gordon@cl.cam.ac.uk
  http://www.cl.cam.ac.uk/users/mjcg/

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

Martin, Ursula (1998 Programme Chair)
  Computer Science Department 
  University of St Andrews 
  St Andrews, Fife KY16 6SS
  United Kingdom
  Tel: +44 1334 463252
  Fax: +44 1334 463278
  Email: um@dcs.st-and.ac.uk
  http://www-theory.dcs.st-and.ac.uk/~um




			 Local Arrrangements


Adams, Andrew A.
  Computer Science Department 
  University of St Andrews 
  St Andrews, Fife KY16 6SS
  United Kingdom
  Tel: +44 1334 463268
  Fax: +44 1334 463278
  Email: aaa@dcs.st-and.ac.uk
  http://www-theory.dcs.st-and.ac.uk/~aaa