Festival Workshop in Foundations and Computations

Heriot-Watt University, Edinburgh

Sunday 16 July-Tuesday 18 July 2000

http://www.cedar-forest.org/forest/events/festival/workshop1/

ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications		 UKII logo UKII
 UK Institute of Informatics,
UK
  1. 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
  2. Ade Azurat, Cambridgelaan 713, 3584 DT Utrecht, Nederlands, Phone : +31 - 30 - 253 4432 (office) +31 - 30 - 254 3015 (home) Fax : +31 - 30 - 251 3791 email : ade@cs.uu.nl
  3. Claudio Castellini, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516, Tel: 44-131-650-2721, Email: claudio@dai.ed.ac.uk,
  4. Laura Crosilla, University of Leeds, School of Mathematics, Leeds LS2 9JT, UK. Tel: 0113 233 4140. Fax: 0113 233 4145. Email: pmtmlcr@amsta.leeds.ac.uk.
  5. 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.
  6. Professor Jan van Eijk, CWI, P.O. Box 94079,1090 GB Amsterdam, The Netherlands. Jan.van.Eijck@cwi.nl
  7. Massimo Felici, LFCS, Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland. email: mas@dcs.ed.ac.uk, Tel: +44 131 650 8602, Fax: +44 131 667 7209,
  8. Dr Jacques Fleuriot, Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Tel: 44-131-650-9342, Fax: 44-131-650-6516 Email: jdf@dai.ed.ac.uk, URL:
  9. Therese Hardin, Université Paris VI, Laboratoire LIP6, Thème SPI, room 481 , 8, Rue du Capitaine Scott, 75015 Paris, France. Tel. +33 (0)1 44 27 52 51 (secretary office), Fax. +33 (0)1 44 27 40 42. Email: Therese.Hardin@lip6.fr
  10. 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,
  11. Jim Howie, Heriot-Watt University, Department of Mathematics, Riccarton, Edinburgh, EH14 4AS. Email: J.Howie@ma.hw.ac.uk
  12. Yang Jun, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: ceejy1@macs.hw.ac.uk.
  13. 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 8179.
  14. Professor Assaf Kfoury, Boston University, Department of Computing Science, Boston, MA, USA. email kfoury@cs.bu.edu. Tel: +1 (617) 353-8911. Fax: +1 (617) 353-6457.
  15. Johan Larsson, Sweden
  16. Dr Greg Michaelson, Heriot-Watt University, 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.
  17. Yoko Motohama, Dipartimento di Informatica, Universtia' di Torino, Corso Svizzera 185, 10149 Torino, Italy, e-mail: yoko@di.unito.it
  18. 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
  19. Cesar Munoz, Institute for Computer Applications in Science and Engineering (ICASE) NASA Langley Research Center, Mail Stop 132C, 3 West Reid Street, Hampton, Virginia 23681-2199, USA. Phone: +1 (757) 864-8018. Fax: +1 (757) 864-6134. Email: munoz@icase.edu.
  20. 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.
  21. Gopalan Nadathur, Computer Science and Engineering, University of Minnesota, 4-192 EE/CS building, 200 union street, Minneapolis, MN 55455. Phone: +1 612 626 1354 Fax: +1 612 625 0876 Email: gopalan@cs.umn.edu
  22. Catherine Piliere, LORIA, Campus Scientifique - B.P. 239, 54 506 Vandoeuvre-lès-Nancy Cedex, FRANCE. E-mail: piliere@loria.fr
  23. Dr. Detlef Plump, Universitat Bremen, Fachbereich 3, Postfach 330440, 28334 Bremen, Germany. Tel:4335 48 54. Email: det@informatik.uni-bremen.de.
  24. Sarah Rees Department of Mathematics, University of Newcastle, Newcastle NE1 7RU, UK. Tel: +44 (191) 222 7236. Fax: +44 (191) 222 8020. Email: Sarah.Rees@ncl.ac.uk
  25. Dr Julian Richardson, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: julianr@macs.hw.ac.uk. Tel:+44 131 451 3869. Fax: +44 131 451 3327.
  26. Mike Samuels, King's college, London
  27. 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,
  28. Eleni Spiliopoulou, Email: eleni_sp@hotmail.com or spilio@cs.bris.ac.uk.
  29. Iain Stewart, Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, United Kingdom. tel.: +44 (0)116 252 3885. fax : +44 (0)116 252 3604. email: i.a.stewart@mcs.le.ac.uk. URL:
  30. Paolo Torrini, University of Leeds, School of Computer Studies, Leeds LS2 9JT, UK. Tel: 0113 233 6806. Fax: 0113 233 5468. Email: paolot@scs.leeds.ac.uk.
  31. Dr Joe Wells, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: jbw@macs.hw.ac.uk. Tel:+44 131 451 3869. Fax: +44 131 451 3327.