Participants at EEF Foundations school in Deduction and Theorem Proving

Heriot-Watt University, Edinburgh

6-16 April 2000

ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications		 UKII logo UKII
 UK Institute of Informatics,
UK

http://www.cedar-forest.org/forest/events/ukiischool2000/ukiischool.html

  1. Dr David Aspinall, LFCS, Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland. email: David.Aspinall@dcs.ed.ac.uk, Tel: +44 131 650 5140, Fax: +44 131 667 7209,
  2. 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
  3. 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
  4. 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
  5. 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
  6. Gergely Buday, Department of Algebra, Technical University of Budapest, Budapest H-1111, Egry Jozsef u.2, Hungary, Email: gergoe@math.bme.hu
  7. Mr Mario Jose Caccamo, University of Aarhus, Dept. of Computer Science, Ny Munkegade, Bldg. 540, DK-8000 Aarhus C., Denmark. Tel: +45 89423194 (Office). Fax: +45 89423255. Email: mcaccamo@brics.dk.
  8. 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,
  9. Jacek Chrzaszcz, Warsaw University Banacha 2, 02-097 Warszawa, Poland. Currently visiting Laboratoire de recherche en Informatique, Univerite Paris-sud, 91405 Orsay-Cedex, France. Tel: +33 1 69 15 42 32. Fax: +33 1 69 15 65 86. Email: jacek@lri.fr
  10. Professor Robert Constable, Department of Computer Science 4149 Upson Hall Cornell University Ithaca, NY 14853 Ph.D. Univ. of Wisconsin, Madison, 1968 rc@cs.cornell.edu
  11. Andrew Cook, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: ceeajc@macs.hw.ac.uk. Tel:+44 131 451 3409. Fax: +44 131 451 3327.
  12. 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.
  13. Professor Mariangiola Dezani, Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706732 Fax: +39 011 751603 E-mail: dezani@di.unito.it
  14. Dr Kerstin Eder, Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB. Email: eder@cs.bris.ac.uk, Tel: 0117 954 5146. Fax: 0117 954 5208.
  15. Professor Jan van Eijk, CWI P.O. Box 94079,1090 GB Amsterdam The Netherlands. Jan.van.Eijck@cwi.nl
  16. 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,
  17. 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:
  18. Mr Nicola GAMBINO. Department of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK. E-mail: ngambino@cs.man.ac.uk
  19. Ferruccio Guidi, Cannareg 1104, 30121 Venezia, Italy. Phone: +39 041717085. Fax:+39 041717085. Email: fguidi@leonardo.math.unipd.it
  20. Daniel Hirschkoff, LIP-ENS Lyon, 46 Allee d'Italie, 69364 Lyon Cedex, France. Phone: +33 472728434. Fax: +33 472728080. Email: Daniel.Hirschkoff@ens-lyon.fr
  21. 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.
  22. Marko Kaaramees, Akadeemia TEE 21 tallinn, 12618 Estonia. Phone: +37256 619966. Fax: +372 620 4193. Email: Marko@ioc.ee
  23. Professor Claude Kirchner, LORIA & INRIA Technopole de Nancy Brabois - Campus Scientifique 615, rue du Jardin Botanique BP-101 54602 Villers-lès- Nancy FRANCE Direct: (33) 03 83 59 30 11 Facsimile: (33) 03 83 27 83 19 E-mail: Claude.Kirchner@loria.fr
  24. Ruggero Lanotte, Dottorato in Informatica, Dipartimento di Informatica University of Pisa, Corso Italia 40, I-56125 Pisa, Italy, Tel: +39 050 887267, Fax: +39 050 887226. Email lanotte@di.unipi.it
  25. Elena Machkasova, Computer Science Department, Boston University, 111 Cummington Street, Boston, MA 02215, U.S.A. Email: elenam@cs.bu.edu
  26. 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
  27. Yoko Motohama, Dipartimento di Informatica, Universtia' di Torino, Corso Svizzera 185, 10149 Torino, Italy, e-mail: yoko@di.unito.it
  28. Mr Friedger Muffke, Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB. Email: muffke@cs.bris.ac.uk, Tel: 0117 954 5213. Fax: 0117 954 5208.
  29. 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.
  30. Nicola Olivetti, Dipartimento di Informatica, Universita' degli Studi di Torino, Corso Svizzera, 185, I-10149 Torino (ITALY), e-mail : olivetti@di.unito.it, Tel .: +39 011 670 67 69, Fax .: +39 011 75 16 03. URL:
  31. Larry Paulson, Computer Laboratory, University of Cambridge, Cambridge CB2 3QG, England. elephone: (01223) 334623, Fax: (01223) 334678, E-mail: lcp@cl.cam.ac.uk.
  32. Dr. Detlef Plump, Universitat Bremen, Fachbereich 3, Postfach 330440, 28334 Bremen, Germany. Tel:4335 48 54. Email: det@informatik.uni-bremen.de.
  33. 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
  34. Thomas Rasmussen, Technical University of Denmark, Department of Information Technology, DTU-building 344, DK-2800 Lyngby, Denmark. Phone: +45 4525 3762. Fax: +45 4593 0074. Email: tmr@it.dtu.dk.
  35. Mr Ivano Salvo, Dipartimento di Informatica, Universita' degli Studi di Torino, Corso Svizzera, 185, I-10149 Torino (ITALY), e-mail : salvo@di.unito.it, Tel .: +39 011 670 67 96, Fax .: +39 011 75 16 03. URL:
  36. 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-2722, Email: schairer@dai.ed.ac.uk,
  37. Mr Sebastian Skalberg, DIKU, Universitetsparken 1, DK-2100 Copenhagen East, Denmark Phone:............ +45 353 21403 Fax:.............. +45 353 21401 E-mail:.......... skalberg@diku.dk
  38. Colin Stirling, LFCS, Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland. email: cps@dcs.ed.ac.uk, Tel: +44 131 650 5186 Fax: +44 131 667 7209,
  39. Jürgen Stuber, Max-Planck-Institut für Informatik, 66123 Saarbrücken, Germany, Tel: +49 681 9325 228. Fax: +49 681 9325 299. Email: juergen@mpi-sb.mpg.de
  40. 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.
  41. Rastei Amelia Viorela, Targu-Mures 4300, 5TR, Progresului, Number 8/2, Romania. Tel: 4064146029
    University "Babes Bolyai", Department of Computer Science, Str. Kogalniceanu no. 1, Cluj Napoca, Romania. Fax: 4064191906. Email: ra27946@scs.ubbcluj.ro.
  42. Daria Walukiewicz-Chrzaszcz Warsaw University Banacha 2, 02-097 Warszawa, Poland. Currently visiting Laboratoire de recherche en Informatique, Univerite Paris-sud, 91405 Orsay-Cedex, France. Tel: +33 1 69 15 42 32. Fax: +33 1 69 15 65 86. Mail: daria@lri.fr
  43. 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.