Sixth Workshop on Automated Reasoning, 1999 Organizing 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 http://www.trireme.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 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 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 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 http://www.cs.york.ac.uk/~frisch Gent, Ian P Department of Computer Science University of Strathclyde Glasgow G1 1XH United Kingdom Tel: +44 141 552 4527 Fax: +44 141 552 5330 Email: ipg@cs.strath.ac.uk http://www.cs.strath.ac.uk/~ipg/home 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 http://www.cee.hw.ac.uk/~air/ Kerber, Manfred (Programme Chair) 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 http://www.cs.bham.ac.uk/~mmk Ohlbach, Hans Juergen Department of Computer Science King's College Strand London, WC2R 2LS Tel: +44 171 873 2725 Fax: +44 171 873 2851 Email: ohlbach@dcs.kcl.ac.uk http://www.dcs.kcl.ac.uk/staff/ohlbach Walsh, Toby Department of Computer Science University of Strathclyde Glasgow G1 1XH United Kingdom Tel: +44 141 548 4523 Fax: +44 141 552 5330 Email: tw@cs.strath.ac.uk http://dream.dai.ed.ac.uk/group/tw