Tenth Workshop on Automated Reasoning 2003
Organising Committee


Bennett, Brandon
  Division of Artificial Intelligence 
  School of Computing 
  University of Leeds 
  Leeds , LS2 9JT, UK. 
  Tel: +44 113 343 1070 
  Fax: +44 113 343 5468 
  Email: brandon@comp.leeds.ac.uk 
  Homepage:  http://www.comp.leeds.ac.uk/brandon/
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/homes/bundy/
Crocker, David  
  Escher Technologies Ltd
  Mallard House
  Hillside Road
  Ash Vale
  Aldershot GU12 5BJ
  United Kingdom
  Tel: +44 1252 336565
  Fax: 
  Email: dcrocker@eschertech.com
  Homepage:  http://www.eschertech.com/dc_homepage.htm
Dixon, Clare (Programme Chair ARW 2003)
  Department of Computer Science
  The University of Liverpool
  Chadwick Building
  Peach Street
  Liverpool L69 7ZF
  Tel: +44 151 794 3674
  Fax: +44 151 794 3715
  Email: clare@csc.liv.ac.uk
  Homepage: http://www.csc.liv.ac.uk/~clare
Endriss, Ulle (Secretary/Treasurer)
  Department of Computing   
  Imperial College London   
  180 Queen's Gate          
  London SW7 2AZ (UK)       
  Tel: +44 20 7594 8204
  Fax: +44 20 7581 8024
  Email: ue@doc.ic.ac.uk
  Homepage:  http://www.doc.ic.ac.uk/~ue/
Fisher, Michael (Programme Chair ARW 1997)
  Department of Computer Science
  The University of Liverpool
  Chadwick Building
  Peach Street
  Liverpool L69 7ZF
  Tel: +44 151 794 6701
  Fax: +44 151 794 3715
  Email: michael@csc.liv.ac.uk
  Homepage:  http://www.csc.liv.ac.uk/~michael
Frisch, Alan M.  (Chair of Organising Committee, Programme Chair ARW 1994)
  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. (Programme Chair ARW 1996)
  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
  Homepage: http://www.dcs.st-and.ac.uk/~ipg/
Hustadt, Ullrich 
  Department of Computer Science
  The University of Liverpool
  Chadwick Building
  Peach Street
  Liverpool L69 7ZF
  Tel: +44 151 794 7946702
  Fax: +44 151 794 7943715
  Email: ullrich@csc.liv.ac.uk
  Homepage: http://www.csc.liv.ac.uk/~ullrich
Ireland, Andrew (Programme Chair ARW 1995)
  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
Schmidt, Renate  
  Department of Computer Science
  University of Manchester
  Oxford Road
  Manchester M13 9PL
  UK
  Tel: +44 161 2756163
  Fax: +44 161 2756236
  Email: schmidt@cs.man.ac.uk
  Homepage: http://www.cs.man.ac.uk/~schmidt/
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 (Programme Chair ARW 2002)
  Cork Constraint Computation Centre 
  University College Cork 
  Cork 
  Ireland 
  Tel: +353 21 425 5402
  Fax: +353 21 425 5424 
  Email: tw@4c.ucc.ie
  Homepage: http://www.4c.ucc.ie/~tw/