Particpants at The First International School on Type Theory and Term Rewrriting

Glasgow University, Scotland

10-13 April 1999

http://www.cedar-forest.org/forest/events/school1996/

ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications		 UKII logo UKII
 UK Institute of Informatics,
UK
The Engineering and Physical Sciences Research Council (EPSRC)
  1. Andrew A Adams, Division of Computer Science, School of Maths and Comp Sci, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, email aaa@dcs.st-and.ac.uk,Tel*+44-1334-463268/589-464141
  2. Dhiy Al jumeilDhiya Al-jumeily, Liverpool John Moores University, Byrom Street, Liverpool, L3 3AF, UK. Tel: +44 (0) 151 231 2188, Fax: +44 (0) 151 207 4594 email: cmsdalju@livjm.ac.uk
  3. Philippe Audebaud, Laboratoire de l'Informatique du Parallelism, 46, allee d'Italie 69364 Lyon cedex 07, France, email: Philippe.Audebaud@ens-lyon.fr
  4. Jos Baeten, Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands, email: josb@win.tue.nl
  5. Steffen van Bakel, Imperial College of Science and Medecine, Department of Computing, email: svb@doc.ic.ac.uk, tel 01715948263
  6. Dharini Balasubramaniam, Division of Computing Science, School of Mathematical and Computational Sciences, University of St. Andrews, North Haugh, St. Andrews, Fife, KY16 9SS, Scotland, email: dharini@dcs.st-and.ac.uk
  7. Franco Barbanera, barba@di.unito.it.
  8. Henk Barendregt, Katholieke Universiteit Nijmegen, Toernooiveld 6525 ed Nijmegen, the Netherlands, email henk@cs.kun.nl, Fax: +31 24 365 2525
  9. Gilles Barthe, CWI, Kruislaan 413, P.O.Box 94079, 1090 Amsterdam, the Netherlands, email gilles@cwi.nl, Fax: +31 20 592 4199
  10. Sabine Broda Centro de Informatica da Universidade do Porto R. do Campo Alegre, 823 4150 Porto Portugal
  11. 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
  12. Alex Bunkenburg University of Glasgow, Department of Computing Science, 17 Lilybank Gdns, Glasgow G12 8QQ, Scotland, email: bunkenburga@dcs.gla.ac.uk
  13. Olaf Chitil, Lehrstuhl fuer Informatik II, RWTH Aachen, 52056 Aachen, Germany Tel: (+49/0)241/80-21212; Fax: (+49/0)241/8888-217 URL: http://www-i2.informatik.rwth-aachen.de/~chitil/ email: chitil@Informatik.RWTH-Aachen.DE
  14. Adriana Compagnoni, Computer Laboratory, University of Cambridge, Pembroke Street, Cambridge CB2 3QG, UK, email: Adriana.Compagnoni@cl.cam.ac.uk
  15. Roberto Di Cosmo, ENS, 45 rue d'Ulm, 75230 Paris Cedex 05 email Roberto.Dicosmo@ens.fr, tel 00331 44 32 2040
  16. Djordje Cubric, email: D.Cubric@PMMS.CAM.AC.UK, DPMMS, university of Cambridge, 16 Mill Lane, Cambridge CB2 1SB.
  17. Olivier Danvy BRICS, Department of Computer Science, Aarhus University Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark Phone: (+45) 89 42 33 69 Fax: (+45) 89 42 32 55 WWW: http://www.brics.dk/~danvy E-mail: danvy@brics.dk
  18. Ewen Denney, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email ewd@dcs.ed.ac.uk
  19. Luis Dominguez, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email lald@dcs.ed.ac.uk
  20. Roy Dyckhoff, Division of Computer Science, School of Maths and Comp Sci, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, email rd@dcs.st-and.ac.uk,
  21. Maribel Fernandez, ENS, 45 rue d'Ulm, 75230 Paris Cedex 05 email: maribel@dmi.ens.fr
  22. Andrezei Filinski, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email aof@dcs.ed.ac.uk
  23. Michael Fourman, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email Michael.Fourman@dcs.ed.ac.uk
  24. Chen Gang, email Chen.Gang@ens.fr, CNRS et DMI, Ecole Normale Sup, 45, Rue d'Ulm, 75005 Paris
  25. Ben Gaster, Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK, email: brg@cs.nott.ac.uk
  26. Herman Geuvers, Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands, email: herman@win.tue.nl
  27. John Glauert, School of Information systems, University of East Anglia, University plain, Norwich NR4 7TJ, email jrwg@sys.uea.ac.uk
  28. Healfdene Goguen, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email hhg@dcs.ed.ac.uk
  29. Therese Hardin, Therese.Hardin@inria.fr
  30. Jacob Howe, email jacob@dcs.st-and.ed.ac.uk, Division of Computer Science, School of Maths and Comp Sci, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland,
  31. Jean-Michel Hufflen, Jean-Michel HUFFLEN LIB --- Universite de Franche Comte 16, route de Gray 25030 BESANCON CEDEX email hufflen@comte.univ-fcomte.fr
  32. Paul Jackson, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email pbj@dcs.ed.ac.uk
  33. Patricia Johann Pacific Software Research Center Department of Computer Science and Engineering Oregon Graduate Institute P.O. Box 91000 Portland, OR 97291 pjohann@cse.ogi.edu
  34. Fairouz Kamareddine, University of Glasgow, Department of Computing Science, 17 Lilybank Gdns, Glasgow G12 8QQ, Scotland, email fairouz@dcs.gla.ac.uk
  35. Richard Kennaway, School of Information systems, University of East Anglia, University plain, Norwich NR4 7TJ, email jrk@sys.uea.ac.uk,
  36. James McKinna,University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email jhm@dcs.ed.ac.uk
  37. Assaf Kfoury, Boston University, Department of Computer Science, 111 Cummington St, Boston MA 02215, USA, email kfoury@cs.bu.edu, Fax: +1 617 353 6457
  38. Zurab Khazidashvili, School of Information systems, University of East Anglia, University plain, Norwich NR4 7TJ, email zurab@sys.uea.ac.uk
  39. Jan-Willem Klop, CWI, Kruislaan 413, P.O.Box 94079, 1090 Amsterdam, the Netherlands, email jwk@cwi.nl, Fax +31 20 592 4199
  40. Alexander Klimiashvili, School of Information systems, University of East Anglia, University plain, Norwich NR4 7TJ
  41. Twan Laan, Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands, email: laan@win.tue.nl
  42. Pierre Lescanne, mail Pierre.Lescanne@loria.fr
  43. Jean-Jacques Levy, email Jean-Jacques.Levy@inria.fr
  44. Giuseppe Longo, CNRS et DMI, Ecole Normale Sup, 45, Rue d'Ulm, 75005 Paris email longo@dmi.ens.fr
  45. Zhaohui Luo, Department of Computer Science, Science Laboratories, South Road, Durham, DH1 3LE, U.K. email: Zhaohui.Luo@durham.ac.uk
  46. John Maraist, Institut fur Programmstrukturen und Datenorganisation, Universitat Karlsruhe, D-76128 Karlsruhe, Germany, email maraist@ira.uka.de
  47. Ursula Martin, Division of Computer Science, School of Maths and Comp Sci, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, email um@dcs.st-and.ac.uk.
  48. Paul-Andre Mellies, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email paulm@dcs.ed.ac.uk
  49. Cesar A. Munoz H. INRIA, Paris, France, email Cesar.Munoz@inria.fr
  50. Christine Paulin-Mohring, Laboratoire de l'Informatique du Parallelism, 46, allee d'Italie 69364 Lyon cedex 07, France, email: Christine.Paulin@ens-lyon.fr
  51. Douglas Newlands, doug@deakin.edu.au
  52. Adolfo Piperno, Dip. di Scienze dell'Informazione, Universita di Roma "La Sapienza", Via Salaria 113, I-00198 ROMA (Italy) email: piperno@dsi.uniroma1.it,tel: +39 6 49918358, fax: +39 6 8541842 web: http://dsi.uniroma1.it/dsi/piperno.html
  53. Gordon Plotkin, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email gdp@dcs.ed.ac.uk
  54. Randy Pollack, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email rap@dcs.ed.ac.uk
  55. Frederic Prost, Laboratoire de l'Informatique du Parallelism, 46, allee d'Italie, 69364 Lyon cedex 07, France, email:Frederic.Prost@lip.ens-lyon.fr
  56. Richard Reid, University of Glasgow, Depart of Computing Sc, 17 Lilybank Gardens, Glasgow G12 8QQ, email reidrm@dcs.gla.ac.uk
  57. Claus Reinke, University of Kiel email: cr@informatik.uni-kiel.de Department of Computer Science http://www.informatik.uni-kiel.de/~cr/ Preusserstr. 1-9, 24105 Kiel
  58. Bernard Reus, email Reus@informatik.uni-muenchen.de, institut fur informatik, university of Munich, Fax +49 89 2178 2175
  59. Alejandro Rios, University of Glasgow, Department of Computing Science, 17 Lilybank Gdns, Glasgow G12 8QQ, Scotland, email rios@dcs.gla.ac.uk
  60. Simona Ronchi Della Rocca, ronchi@di.unito.it
  61. Kris Rose, krisrose@brics.dk, BRICS, URL: http://www.brics.dk/~krisrose/, Department of Computer Science B3.26, +45 89423193 (fax +45 89423255) University of Aarhus, Ny Munkegade, build. 540, 8000 Aarhus C, DENMARK
  62. H Sluchanschi, University of Surrey, Department of Electronic and Electrical Engineering, Guildford, Surrey GU2 5XH, England, Fax: 01483 34139, Tel: 01483 259 825, H.Slusanschi@ee.surray.ac.uk
  63. Thomas Schreiber, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email tms@dcs.ed.ac.uk
  64. Duncan Shand, Division of Computer Science, School of Maths and Comp Sci, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, email ddshand@dcs.st-and.ac.uk,
  65. Colin Taylor, Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK, email: cjt@cs.nott.ac.uk
  66. Rueiher Tsaur, PO Box 236, South Kensington, London
  67. Judith Underwood, University of Edinburgh, Department of Computer Science, JCMB, the King's buildings, Edinburgh EH9, 3JZ, email jlu@dcs.ed.ac.uk
  68. Roel de Vrijer, email: rdv@cs.vu.nl,
  69. Martin Wehr | Institut fuer Programmstrukturen EMail: wehr@ira.uka.de | und Datenorganisation Phone: +49/721/608-4064 | Universitaet Karlsruhe Fax: +49/721/694092 | D-76128 Karlsruhe, Germany | Am Fasanengarten 5 | Postfach 6980
  70. Joe Wells, Boston University, Department of Computer Science, 111 Cummington St, Boston MA 02215, USA, email jbw@cs.bu.edu, Fax: +1 617 353 6457
  71. Christoph Zenger, Institut fur Programmstrukturen und Datenorganisation, Universitat Karlsruhe, D-76128 Karlsruhe, Germany, email: zenger@ira.uka.de
  72. Jan Zwanenburgh, Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands, email: janz@win.tue.nl