1996 Workshop on Automated Reasoning Bridging the Gap between Theory and Practice List of Contributors We do not have a list of participants for this workshop. This is a list of all those who have papers in the Working Notes of the workshop. Armando, Alessandro & Ranise, Silvio Mechanized Reasoning Group - DIST University of Genoa Via Opera Pia 13 - 16145 Genoa Italy Email: armando@mrg.dist.unige.it Email: silvio@mrg.dist.unige.it Anthony, Simon & Frisch, Alan Department of Computer Science University of York York YO1 5DD United KIngdom Phone: +44 (1904) 432745 Fax: +44 (1904) 432767 Email: simona@cs.york.ac.uk Email: frisch@cs.york.ac.uk Bell, John & Hodges, Wilfred & White, Graham Department of Computer Science Queen Mary and Westfield College Mile End Road London E1 4NS United Kingdom Email: John.Bell@dcs.qmw.ac.uk Email: W.A.Hodges@qmw.ac.uk Email: graham@dcs.qmw.ac.uk Bellot, P. & Cottin, J.P. & Demaille, A. & Leneutre, J. & Zarpas, Emanuel Ecole Nationale Superieure des Telecommunications Departement Informatique - CNRS URA 820 46 Rue Barrault 75634 Paris Cedex 13 France Phone: +33 (1) 45 81 78 81 Email: bellot@inf.enst.fr Email: cottin@inf.enst.fr Email: demaille@inf.enst.fr Email: leneutre@inf.enst.fr Email: zarpas@inf.enst.fr 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 Cumming, Andrew & Lowe, Helen & Smyth, Michael & Varey, Alison Department of Computer Studies Napier University 219 Colinton Road Edinburgh EH14 1DJ United Kingdom Email: Andrew@dcs.napier.ac.uk Email: h.lowe@dcs.napier.ac.uk Email: michael@dcs.napier.ac.uk Email: A.Varey@dcs.napier.ac.uk Damasio, Carlos Viegas & Pereira, Luis Moniz & Schroeder, Michael Department of Computer Science F.C.T. Universidade Nova Lisboa 2825 Monte de Caparica Portugal Phone: +351 (1) 3 500 279 Email: cd@fct.unl.pt Email: lmp@fct.unl.pt Email: msch@fct.unl.pt Dennis, Louise Dept. of Artificial Intelligence Univ. of Edinburgh 80 South Bridge Edinburgh EH1 1HN United Kingdom Email: louised@dai.ed.ac.uk Dixon, Clare Department of Computing Manchester Metropolitan University Manchester, M1 5GD United Kingdom Email: C.Dixon@doc.mmu.ac.uk Fisher, Michael Department of Computing Manchester Metropolitan University Manchester M1 5GD United Kingdom Email: M.Fisher@doc.mmu.ac.uk Gent, Ian P. Department of Computer Science University of Strathclyde Glasgow G1 1XH United Kingdom Email: ipg@cs.strath.ac.uk Ireland, Andrew Department of Computing and Electrical Engineering Heriot-watt University Riccarton Edinburgh, EH14 4AS United Kingodm Email: air@cee.hw.ac.uk Johnson, Robert Department of Computing Manchester Metropolitan University Manchester M1 5GD United Kingdom Email: R.Johnson@doc.mmu.ac.uk Martin, Ursula Computer Science Department University of St Andrews St Andrews, Fife KY16 6SS United Kingdom Tel: +44 1334 463252 Fax: +44 1334 463278 Email: um@dcs.st-and.ac.uk Massacci, Fabio Dip. di Informatica e Sistemistica Univeristy di Roma "La Sapienza" via Salaria 113 00198, Roma Italy Email: massacci@dis.uniroma1.it or Massacci, Fabio Computer Laboratory University of Cambridge New Museums Site Pembroke Street Cambridge, CB2 3QG United Kingdom Email: Fabio.Massacci@cl.cam.ac.uk Monroy, Raul Department of Artificial Intelligence The Univesity of Edinburgh 80 South Bridge Edinburgh, EH1 1HN United Kingdom Email: raul@aisb.ed.ac.uk Preist, Chris Hewlett Packard Research Labs Filton Road Stoke Gifford Bristol, BS12 6QZ United Kingdom Phone: +44 (117) 922 8311 Fax: +44 (117) 922 8972 Email: cwp@hplp.hlp.hp.com Price, Chris Department of Computer Science University of Wales Aberystwyth Dyfed, SY23 3DB United Kingdom Phone: +44 (1970) 622444 Email: cjp@aber.ac.uk Web: www.aber.ac.uk/~cjp Roveri, Marco & Villafiorita, Adolfo Mechanized Reasoning Group - DIST University of Genoa Via Opera Pia 13 - 16145 Genova Italy Email: marco@mrg.dist.unige.it Email: adolfo@mrg.dist.unige.it Schoeter, Andreas Department of Artificial Intelligence Mathematical Reasoning Group University of Edinburgh Edinburgh Email: asch@aisb.ed.ac.uk Trudel, Andre Jodrey School of Computer Science Acadia University Wolfville, Nova Scotia B0P 1X0 Canada Email: andre.trudel@acadiau.ca Wallen, Lincoln A. Oxford Unversity Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom Phone: +44 (1865) 278574 Email: lw@comlab.ox.ac.uk Walsh, Toby Mechanized Reasoning Group IRST Trento & DIST University of Genoa Italy Email: toby@irst.it ========================================================================== Bell Bundy Dennis Dixon Fisher Frisch Gent Ireland Johnson Kerber Lowe Martin Massacci Preist Price Ranise Roveri Schoeter Schroeder Trudel Wallen Walsh Zarpas Others known to have participated but not listed above Aitken, Stuart Department of Computing Science Glasgow University United Kingdom stuart@dcs.glasgow.ac.uk Barringer, Howard Department of Computer Science University of Manchester Oxford Road Manchester M13 9PL United Kingdom Phone: +44 (0) 161 275 6248 Fax: +44 (0) 161 275 6211 Email: howard@cs.man.ac.uk Cohn, Anthony School of Computer Studies Univerisity of Leeds Leeds LS2 9JT United Kingdom Phone: +44 (113) 233 5482 Fax: +44 (113) 233 5468 Email: agc@scs.leeds.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 Merriam, Nick Department of Computer Science University of York York YO1 5DD United KIngdom Phone: +44 (1904) 433376 Fax: +44 (1904) 432767 Email: nam@cs.york.ac.uk Puget, Jean-Francois ILOG SA rue de Verdun 9 BP 85 94253 Gentilly Cedex France Email: puget@ilog.fr 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