Eighth Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
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/homes/bundy/
Cohn, Tony
School of Computing
University of Leeds
Leeds LS2 9JT
United Kingdom
Tel: +44 113 233 5482
Fax: +44 113 233 5468
Email: agc@comp.leeds.ac.uk
Homepage: http://www.comp.leeds.ac.uk/agc/agc.html
Dixon, Clare
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
Fisher, Michael
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.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. (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/
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 ARW 2000)
Institut für Informatik
Ludwig-Maximilians-Universitüt München
Oettingenstr. 67
D-80538 München
Tel: +49 89 2178 2200
Fax: +49 89 2178 2211
Email: ohlbach@dcs.kcl.ac.uk
Homepage: http://www.pms.informatik.uni-muenchen.de/mitarbeiter/ohlbach/index.html
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://www-users.cs.york.ac.uk/~tw/
Overview
|
Organisers
|
Call for Papers
|
|
Programme
|
Accepted Papers
|
Registration
|
Workshop Series
|
Participants
|
AISB'01 convention