Particpants at Winter Workshop of Logic, Types and Rewriting

Cedar Room, Heriot-Watt University, Edinburgh

1-3 February 2000

http://www.cedar-forest.org/forest/events/inaugural-workshop2000/

ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications		 UKII logo UKII
 UK Institute of Informatics,
UK
  1. Mr Andreas Abel, University of Munich, LFE Theoretische Informatik, Oettingenstr. 67, D-80538 Muenchen, Germany, Email: abel@informatik.uni-muenchen.de
  2. Michael Abbott, 51 Steventon Road, Drayton, Oxon OX14 4LA, Email: michael@rcp.co.uk
  3. Dr Mauricio Ayala Rincón, Departamento de Matemática, Universidade de Brasília, Campus Universitário, Asa Norte, 70910-900 Brasilia D. F., Brasil, Tels. +55-61-307 2441|2442|2806 Fax +55-61-273 2737, E-mail: ayala@mat.unb.br
  4. Professor Henk Barendregt, Chair of Foundations of Mathematics and Computer Science, Catholic University of Nijmegen, Informatica, PO Box 9010, 6500 GL Nijmegen, The Netherlands, email: henk@cs.kun.nl Telephone : +31.24.3652642 Secretary : +31.24.3652643 Fax : +31.24.355 3450
  5. Mr Christoph Benzmueller, Gerberstr. 1, D-66111 Saarbruecken, Germany Phone: ++49/681/302-4574 or ++49/681/3904771 Fax: ++49/681/302-2235 E-mail: chris@ags.uni-sb.de
  6. Dr Stefano Berardi, Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706750 Fax: +39 011 751603 E-mail: stefano@di.unito.it
  7. Dr Roel Bloo, Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands . Phone: (+31) 40 2475156, Email: bloo@win.tue.nl. Fax: (+31) 40 2463992.
  8. Ms Mirna Bognar, Division of Mathematics and Computer Science Vrije Universiteit De Boelelaan 1081a 1081 HV Amsterdam The Netherlands Phone: +31 (0)20 444 77 36 Fax: +31 (0)20 444 76 53 E-mail: mirna@cs.vu.nl
  9. Dr Tijn Borghuis, Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands Phone: (+31) 40 2475156 Fax: (+31) 40 2463992 E-mail: tijn@win.tue.nl
  10. Professor N.G. de Bruijn, Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands, email debruijn@win.tue.nl
  11. Professor Alan Bundy, Head of Division, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516, Tel: 44-131-650-2716, Email: a.bundy@ed.ac.uk,
  12. Dr Louise Dennis, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516, Tel: 44-131-650-2721, Email: louised@dai.ed.ac.uk,
  13. Dr Gilles Dowek, INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. Tel: + 33 1 39 63 50 27 Fax: + 33 1 39 63 56 84. email Gilles.Dowek@inria.fr.
  14. Dr Sophia Drossopoulou, Department of Computing, Imperial College of Science, Technology and Medicine, University of London. 180 Queen's Gate, London SW7 2BZ, UK. Telephone: (+44 171) 594 8368 , Fax: +44 71 581 8024. Email: scd@doc.ic.ac.uk.
  15. Mr Jose Espirito Santo, Laboratory for Foundations of Computer Science, James Clerk Maxwell Building, room 1607, The King's Buildings, Mayfield Road, Edinburgh EH9 3JZ. Email: jes@dcs.ed.ac.uk
  16. Dr Nick Gilbert, Heriot-Watt University, Department of Mathematics, Riccarton, Edinburgh, EH14 4AS. Email: nick@ma.hw.ac.uk
  17. Mr Jeremy Gow, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516, Tel: 44-131-650-????, Email: jeremygo~@dai.ed.ac.uk,
  18. Mr Jo Erskine Hannay, LFCS, Division of Informatics, King's Buildings, University of Edinburgh, Mayfield Rd., EH9 3JZ Phone: 0131 650 5146 Fax:0131 667 7209 E-mail:joh@dcs.ed.ac.uk
  19. Dr Roger Hindley, Mathematics Department, University of Wales Swansea, Swansea SA2 8PP, Britain. Tel. (+)-44-1792-205678 extension 4621, Fax. (+)-44-1792-295843. Email: j.r.hindley@swansea.ac.uk,
  20. Dr Martin Hofmann, LFCS, Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland. email: mxh@dcs.ed.ac.uk. Tel: +44 131 650 5187. Fax: +44 131 667 7209
  21. Prof. Christian Horn, Lionet Technologies, 1/2 Eden Quay, Dublin 1, Ireland phone: +353-1-8786848 fax: +353-1-8786411 mobile: +353-86-8138390 Email: chorn@lionet.ie
  22. Jim Howie, Heriot-Watt University, Department of Mathematics, Riccarton, Edinburgh, EH14 4AS. Email: J.Howie@ma.hw.ac.uk
  23. Mr Yang Jun, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Phone: 0131 451 ???, Fax: 0131 451 3431, E-mail: ceejy1@macs.hw.ac.uk.
  24. Dr Hans-Wolfgang Loidl, Heriot-Watt University, Department of Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: hwloidl@macs.hw.ac.uk. Tel: +44 131 449 5111 x 4174. Fax: +44 131 451 3327.
  25. Professor Fairouz Kamareddine, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: . Tel:+44 131 451 3868. Fax: +44 131 451 3327.
  26. Dr Helene Kirchner, LORIA-CNRS & INRIA Lorraine, Campus Scientifique, Bâtiment LORIA, BP 239, 54506 Vandoeuvre-lès- Nancy, FRANCE. Telephone Direct: (33) 03 83 59 30 12 Fax: (33) 03 83 27 83 19. E-mail: Helene.Kirchner@loria.fr,
  27. Professor Jan-Willem Klop, Division of Mathematics and Computer Science, Vrije Universiteit, de Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands, Email address: jwk@cwi.nl, Telephone: +31 20 44 47751, Fax number: +31 20 44 47653,
  28. Ms Patricia D. L. Machado, LFCS - Division of Informatics, James Clerk Maxwell Building, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland UK. Email: pdlm@dcs.ed.ac.uk. Phone: 0131 650 5146. Fax: 0131 667 7209.
  29. Dr Greg Michaelson, Heriot-Watt University, Department of Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: Greg@macs.hw.ac.uk. tel: +44 131 451 3422. Fax: +44 131 451 3327.
  30. Dr Francois monin, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Phone: 0131 451 4196, Fax: 0131 451 3431, E-mail: monin@macs.hw.ac.uk,
  31. Dr Alan Mycroft, Computer Laboratory, Cambridge University, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK. Email: alan.mycroft@cl.cam.ac.uk, rws@uk.research.att.com. Tel: +44 1223 334621 or +44 1223 343000. Fax: +44 1223 334678.
  32. Mr Peter Møller Neergaard, Computer Science Department, Boston University, Phone: +1 617 353 1498, E-mail: turtle @ bu.edu,
  33. Celiku Orieta, Turku Centre for Computer Science, Lemminkaeisenkatu 14 A FIN-20520 Turku, Finland, Email: oceliku@abo.fi.
  34. Dr Adolfo Piperno, Dip. di Scienze dell'Informazione, Universita di Roma "La Sapienza", Via Salaria 113, I-00198 ROMA (Italy), e-mail: piperno@dsi.uniroma1.it, adpipern@tin.it, tel: +39 6 49918358, fax: +39 6 8541842.
  35. Professor Gordon Plotkin, LFCS, Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland. email: gdp@dcs.ed.ac.uk. Tel: +44 131 650 5158. Fax: +44 131 667 7209
  36. Dr. Detlef Plump Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Scotland. E-mail: det@macs.hw.ac.uk, Phone: +44 131 451 3438, Fax: +44 131 451 3327,
  37. Dr Robert Pointon, Heriot-Watt University, Department of Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: rpointon@macs.hw.ac.uk Tel: +44 131 451 3328 Fax: +44 131 451 3327.
  38. Dr Randy Pollack, Durham Univ. and Edinburgh Univ. Email: rap@dcs.ed.ac.uk Department of Computer Science, Kings Buildings, University of Edinburgh EH9 3JZ, SCOTLAND. Phone: +44 131 650 5145. Fax : +44 131 667 7209
  39. Dr Julian Richardson, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516, Tel: 44-131-650-????, Email: julianr@dai.ed.ac.uk,
  40. Professor Simona Ronchi Della Rocca, Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy. Phone: +39 011 6706734. Fax: +39 011 751603. E-mail: ronchi@di.unito.it.
  41. Mr Axel Schairer, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516, Tel: 44-131-650-????, Email: schairer@dai.ed.ac.uk,
  42. Dr Lutz Schroeder, Dept. of Computer Science, University of Bremen, lschrode@informatik.uni-bremen.de, P.O.Box 330440, D-28334 Bremen. Phone +49-421-218-4683, Fax +49-421-218-3550. Email: lschrode@informatik.uni-bremen.de.
  43. Dr Jonathan Seldin, Department of Mathematics and Computer Science, University of Lethbridge, 4401 University Drive, Lethbridge, Alberta, Canada, T1K 3M4, Tel: 403-329-2364 , e-mail: jonathan.seldin@uleth.ca,
  44. Mr Rene Vestergaard, Laboratory for Foundations of Computer Science, Division of Informatics, The University of Edinburgh, James Clerk Maxwell Building, The King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland UK. Phone: +44 (0)131 650 5150, Fax (preferred): +44 (0)870 088 4638, Fax (departmental): +44 (0)131 667 7209.
  45. Dr Roel C. de Vrijer, Department of Theoretical Computer Science, Vrije Universiteit, de Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands. Email address: rdv@cs.vu.nl. Room : U3.41 Telephone: +31 20 44 47770. Fax number: +31 20 44 47653. Email: rdv@cs.vu.nl.
  46. Dr Joe Wells, Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, EDINBURGH, EH14 4AS, Scotland, E-mail: jbw@macs.hw.ac.uk, Telephone: +44 131 451 3869, Fax: +44 131 451 3327.
  47. Mr Gerald Williams, Heriot-Watt University, Department of Mathematics, Riccarton, Edinburgh, EH14 4AS. Email: gerald@ma.hw.ac.uk
  48. Dr Jan Zwanenburg, Faculty of Science, University of Nijmegen, PO Box 9010, 6500 GL Nijmegen, The Netherlands, Phone: ++31-24-3652647, E-Mail: janz@cs.kun.nl.

Below is a list of DROP IN attendees. That is: those who were not registered but only dropped in for a session or two:

    Patrick Baillot, Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, Scotland, UK. Email: pb@dcs.ed.ac.uk. Phone: (0131)6505173. Fax: 0131 667 7209.
  1. Hunter Davis Department of Computing & Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, Scotland. Email: rhd@macs.hw.ac.uk. Phone: +44 131 451 3412. Fax: +44 131 451 3431.
  2. Andrew Ireland, Department of Computing & Electrical Engineering, Heriot-Watt University, Riccarton Campus, Edinburgh EH14 4AS. Email: a.ireland@hw.ac.uk. Tel: +44 (0)131 451 3409. Fax: +44 (0)131 451 3327.
  3. Professor Don Sannella, Laboratory for Foundations of Computer Science Division of Informatics University of Edinburgh Edinburgh EH9 3JZ Scotland E-mail: dts@dcs.ed.ac.uk Phone: +44 131 650 5184 Fax: +44 131 667 7209
  4. Daniele Turi, Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, Scotland, UK. Email: dt@dcs.ed.ac.uk. Phone: +44 131 650 5151, Fax: +44 131 667 7209.