1997 Workshop on Automated Reasoning Bridging the Gap between Theory and Practice List of Participants Adams, Andrew Computer Science Division University of St Andrews North Haugh St Andrews, Fife KY16 9SS United Kingdom Phone: +44 (1334) 463268 Fax: +44 (1334) 463278 Email: aaa@cs.st-and.ac.uk Arthan, Rob D 27 Brook Street Twyford, Berkshire RG1D 9NX United Kingdom Phone: +44 (118) 958 4409 Fax: +44 (118) 958 4490 Email: rda@lemma-one.com Bennet, Brandon School of Computer Studies University of Leeds Leeds L52 9JT United Kingdom Phone: +44 (113) 233 6806 Fax: +44 (113) 233 5468 Email: brandon@scs.leeds.ac.uk Bolotov, Alexander Department of Computing Manchester Metropolitan University Chester Street Manchester M1 5GD United Kingdom Phone: +44 (161) 247 1419 Fax: +44 (161) 247 1483 Email: A.Boltov@doc.mmu.ac.uk Broda, Krysia Department of Computing Imperial College 180 Queens Gate London SW7 2BZ United Kingdom Phone: +44 (171) 594 8426 Fax: (171) 581 8024 Email: kb@doc.ic.ac.uk Bryant, Chris 121 Atwood Road Didsbury Manchester M20 6JW United Kingdom Phone: +44 (1484) 473 047 Fax: +44 (1484) 421 106 Email: c.h.bryant@hud.ac.uk Bundy, Alan Dept. of Artificial Intelligence University of Edinburgh 80 South Bridge Edinburgh EH1 1HN UNited Kingdom Phone: +44 (131) 650 2716 Fax: +44 (131) 650 6516 Email: bundy@ed.ac.uk Clark, Stephen 14 Gloucester Avenue Levenshulme Manchester M19 3WT United Kingdom Phone: +44 (161) 248 6374 Email: clarks@cs.man.ac.uk Cohn, Anthony School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: +44 (113) 233 5482 Fax: +44 (113) 233 5468 Email: agc@scs.leeds.ac.uk de Swart, Harrie C. M. Department of Philosophy Tilburg University P.O. Box 90153 NL 5000 LE Tilburg Netherlands Phone: +31 (13) 466 2415 Fax: +31 (13) 446 2892 Email: H.C.M.DeSwart@kub.nl Dennis, Lousie Dept. of Artificial Intelligence 80 South Bridge Edinburgh EH1 1HN United Kingdom Phone: +44 (131) 650 2724 Email: louised@dai.ed.ac.uk DiPierro, Alessandra Department of Computer Science City University Northampton Square London EC1V 0HB United Kingdom Phone: +44 (171) 477 8449 Fax: +44 (171) 474 8587 Email: adp@soi.city.ac.uk Dixon, Clare Department of Computing Manchester Metropolitan University Chester Street Manchester M1 5GD United Kingdom Phone: +44 (161) 247 1549 Fax: +44 (161) 247 1483 Email: C.Dixon@doc.mmu.ac.uk Duffy, David Department of Computer Science University of York York YO1 5DD United Kingdom Phone: +44 (1904) 432 709 Fax: +44 (1904) 432 767 Email: dad@cs.york.ac.uk Fernandez, Antonio Dpto. Lenguajes y Ciencias de la Computacion Universidad de Malaga 29071 Teatinos Malaga, Spain Phone: +34 5 213 3315 Fax: +34 5 213 1397 Email: afdez@lcc.uma.es Fisher, Michael Department of Computing Manchester Metropolitan University Manchester M15 5GD United Kingdom Phone: +44 (161) 247 1488 Fax: +44 (161) 247 1483 Email: M.Fisher@doc.mmu.ac.uk Frisch, Alan Department of Computer Science University of York York YO1 5DD United Kingdom Phone: +44 (1904) 432745 Fax: +44 (1904) 432767 Email: frisch@cs.york.ac.uk Furbach, Ulrich Universitat Koblenz Rheinau 1 D-56075 Koblenz Germany Phone: +49 (261) 9119 433 Fax: +49 (261) 9119 496 Email: uli@informatik.uni-koblenz.de Gent, Ian Department of Computer Science University of Strathclyde Glasgow G1 1XH United Kingdom Phone: +44 (141) 552 4400 x4527 Fax: +44 (141) 552 5330 Email: ipg@strath.ac.uk Hill, Pat School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom Phone: +44 (113) 233 6807 Fax: +44 (113) 233 5468 Email: hill@scs.leeds.ac.uk Ireland, Andrew Department of Computing and Electrical Engineering Heriott Watt University Riccarton Edinburgh EH14 4AS United Kingdom Phone: +44 (131) 451 3409 Fax: +44 (131) 451 3327 Email: A.Ireland@hw.ac.uk Jackson, Paul Department of Computer Science Edinburgh University JCMB Kings Buildings Edinburgh EH9 3J2 United Kingdom Email: pbj@dcs.ed.ac.uk Kerber, Manfred School of Computer Science University of Birmingham Birmingham B15 2TT United Kingdom Phone: +44 (121) 414 4787 Fax: +44 (121) 414 4281 Email: m.kerber@cs.bham.ac.uk Kruijff, Geert-Jan Institute of Formal and Applied Linguistics Department of Mathematics and Physics Charles University Prague Czech Republic Phone: +42 (2) 2191 4255 Fax: +42 (2) 2191 4309 Email: gj@ufal.mff.cuni.cz Lowe, Helen Department of Computer Studies Napier University 219 Colinton Road Edinburgh EH14 1DJ United Kingdom Phone: +44 (131) 650 2708 Fax: +44 (131) 650 6516 Martin, Ursula Computer Science Division University of St Andrews North Haugh St Andrews, Fife KY16 9SS United Kingdom Phone: +44 (133) 4463 252 Fax: +44 (133) 463 278 Email: um@dcs.st-and.ac.uk Ohlbach, Hans Juergen Imperial College Department of Computing 180 Queens Gate London SW7 2BZ United Kingdom Phone: +44 (171) 594 8208 Fax: +44 (171) 594 8201 Email: h.ohlbach@doc.ic.ac.uk Quaresma, Paulo Departmento Informatica University Nova de Lisboa 2825 Monte Da Caparica Portugal Phone: +351 (1) 295 4464 Fax: +351 (1) 294 8541 Email: pq@di.fet.uml.pt Quigley, Peter Department of Computing Manchester Metropolitan University Chester Street Manchester M1 5GD United Kingdom Phone: +44 (161) 247 1500 Fax: +44 (161) 247 1483 Email: P.QUIGLEY@doc.mmu.ac.uk Reiter, Raymond Department of Computer Science 10 King's College Road Sandford Fleming Building University of Toronto Toronto, Ontario Canada M5S 3G4 Phone: +1 (416)-978-6324 Fax: +1 (416)-978-1931 Email: reiter@cs.toronto.edu Russo, Alessandra Department of Computing Imperial College 180 Queens Gate London SW7 2BZ United Kingdom Phone: +44 (171) 594 8353 Fax: +44 (171) 581 8024 Email: ar3@doc.ic.ac.uk Semple, Dominic EPSRC Polaris House North Star Avenue Swindon SN2 1ET United Kingdom Phone: +44 (1793) 444 318 Fax: +44 (1793) 444 006 Email: dominic.semple@epsrc.ac.uk Slind, Konrad University of Cambridge Computer Laboratory New Museum Site Pembroke Street Cambridge CB2 3QG United Kingdom Phone: +44 (1223) 334 729 Fax: +44 (1223) 334 679 Email: kxs@cs.cl.crm.ac.uk Toyn, Ian Department of Computer Science University of York York YO1 5DD United Kingdom Phone: +44 (1904) 433 3868 Fax: +44 (1904) 432 708 Email: ian@cs.york.ac.uk Underwood, Judith Department of Computer Science University of Galsgow Glasgow G12 8QQ United Kingdom Phone: +44 (141) 339 8855 x2048 Email@ jlu@dcs.gla.ac.uk Vigneron, Laurent CRIN & INRIA Lorraine BP 239 54506 Vandoeuvre-Les-Nancy Cedex France Phone: +33 (3) 83 59 2022 Fax: +33 (3) 83 41 3079 Email: vigneron@loria.fr Wallen, Lincon Oxford University Computing Laboratory Parks Road Oxford OX1 3QD United Kingdom Phone: +44 (1865) 273 875 Fax: +44 (1865) 273 839 Email: lw@comlab.ox.ac.uk Young, R. A. Department of Philosophy University of Dundee Dundee United Kingdom Phone: +44 (1382) 344 539 Fax: +44 (1382) 224 1420 Email: r.a.young@dundee.ac.uk