Seventh Workshop on Automated Reasoning

Organising 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
  Homepage:  http://www.lemma-one.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
  Homepage:  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
  Homepage:  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
  Homepage:  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
  Homepage: http://www.cs.york.ac.uk/~frisch

Gent, Ian P (1996 Programme Chair)
  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
  Homepage: http://www.cee.hw.ac.uk/~air/

Kerber, Manfred  (Programme Chair ARW 1999)
  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
  Homepage: http://www.cs.bham.ac.uk/~mmk

Ohlbach, Hans Jürgen (Programme Chair 2000)
  Department of Computer Science
  King's College
  Strand
  London, WC2R 2LS
  Tel: +44 20 7848 2725  
  Fax: +44 20 7848 2851
  Email: ohlbach@dcs.kcl.ac.uk
  Homepage: http://www.dcs.kcl.ac.uk/staff/ohlbach

Voronkov, Andrei     (Programme Chair ARW 2001)
  Department of Computer Science 
  University of Manchester
  Oxford Road
  Manchester M13 9PL
  UK
  Tel: +44 161 2756116
  Fax: +44 161 2756204
  Email: voronkov@cs.man.ac.uk
  Homepage: 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
  Homepage: http://dream.dai.ed.ac.uk/group/tw/

		
Local Arrangements

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

Rodrigues, Odinaldo 
  Department of Computer Science
  King's College
  Strand
  London, WC2R 2LS
  Tel: +44 20 7848 2469  
  Fax: +44 20 7240 1071
  Email: odinaldo@dcs.kcl.ac.uk
  Homepage: http://www.dcs.kcl.ac.uk/staff/odinaldo/odinaldo.html

Schlobach, Stefan
  Department of Computer Science
  King's College
  Strand
  London, WC2R 2LS
  Tel: +44 20 7848 2985  
  Fax: +44 20 7240 1071
  Email: schlobac@dcs.kcl.ac.uk
  Homepage: http://www.dcs.kcl.ac.uk/staff/schlobac