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/