Third Workshop on Automated Reasoning, 1996 Organizing Committee 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: bundy@edinburgh.ac.uk Cohn, Tony Division of Artificial Intelligence School of Computer Studies University of Leeds Leeds LS2 9JT Tel: +44 113 233-5482 Fax: +44 113 233-5468 Email: agc@scs.leeds.ac.uk 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@minster.york.ac.uk Galton, Antony Department of Computer Science University of Exeter Exeter EX4 4PT United Kingdom Tel: +44 1392 264058 Fax: +44 1392 264067 Email: antony@dcs.exeter.ac.uk Gent, Ian P (Programme Chair) Department of Computer Science University of Strathclyde Glasgow G1 1XH Scotland Tel: +44 141 552 4400 extension 4527 Fax: +44 141 552 5330 WWW: http://www.cs.strath.ac.uk/Contrib/ipg/ Email: ipg@cs.strath.ac.uk Gordon, Mike University of Cambridge Computer Laboratory New Museum Site Pembroke Street Cambridge CB2 3QG United Kingdom Tel: +44 1223 334627 Fax: +44 1223 334678 WWW: http://www.cl.cam.ac.uk/users/mjcg/ Email: Mike.Gordon@cl.cam.ac.uk 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 Preist, Chris Hewlett-Packard Research Labs Filton Rd Stoke Gifford Bristol BS12 6QZ United Kingdom Tel: +44 117 922 8311 Fax: +44 117 922 8972 Email: cwp@hplp.hpl.hp.com