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