Fourth Workshop on Automated Reasoning, 1997 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 5468it inclusion/exclusion makes no difference Email: agc@scs.leeds.ac.uk http://www.scs.leeds.ac.uk/scs/public/staff/agc.html Fisher, Michael (Programme Chair) 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 Scotland, UK 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 Martin, Ursula Computer Science Department University of St Andrews St Andrews, Fife KY16 6SS Scotland, UK Tel: +44 1334 463252 Fax: +44 1334 463278 Email: um@dcs.st-and.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