Thirty Five years of Automath

Heriot-Watt University, Edinburgh

Wednesday 10-Saturday 13 April 2002

LIST OF PARTICIPANTS

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

  1. Professor Peter Aczel. Department of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK. E-mail: petera@cs.man.ac.uk Tel: +44 161 275 6155. Fax: 44 (161) 275 6236.
  2. Dr Torben Amtoft. Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email:tamtoft@macs.hw.ac.uk. Tel:+44 131 451 3869. Fax: +44 131 451 3336.
  3. Mr Robert Atky. Department of Computer Science, Kings Buildings, University of Edinburgh EH9 3JZ, SCOTLAND. Email:roba@dcs.ed.ac.uk.
  4. Professor Arnon Avron. Computer Science Department, School of Mathematical Sciences, Tel-Aviv University, Tel-Aviv, Israel. Email: aa@math.tau.ac.il. Tel: +972 3 6406352. Fax: +972 3 6409357.
  5. 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
  6. Dr Bert van Benthem-Jutting. Eindhoven University of technology, Department of Mathematics and Computing Science, P.O.Box 513, 5600 MB, Eindhoven, the Netherlands.
  7. Mr Chad E. Brown Carnegie Mellon University, Dept. of Mathematical Sciences, Wean Hall 6113, Pittsburgh, PA 15213. E-mail: cebrown@andrew.cmu.edu.
  8. 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.
  9. Professor Robert Constable, Department of Computer Science, 4149 Upson Hall, Cornell University, Ithaca, NY 14853, USA. Email: rc@cs.cornell.edu.
  10. Dr Catarina Coquand. Computing Science, Chalmers University of Technology, SE-412 96 Göteborg, Sweden. Phone: +46-31-772-1067. Email: catarina@cs.chalmers.se.
  11. Professor Ingo Dahn. University of Koblenz, Germany. Email: dahn@uni-koblenz.de. Phone: +49-261-287-2771.
  12. Mr Anatoli Degtyarev. Department of Computer Science, University of Liverpool, Chadwick Building, Peach Street, Liverpool L69 7ZF, United Kingdom. E-mail: A.Degtyarev@csc.liv.ac.uk. Phone: +44 151 794 6792. Fax: +44 151 794 3715.
  13. Mr Lucas Dixon. Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Fax: 44-131-650-6516. Email: lucasd@dai.ed.ac.uk.
  14. Damien Doligez. INRIA -- domaine de Voluceau -- BP105 -- 78153 Le Chesnay cedex (France). Email: damien.doligez@inria.fr.
  15. 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.
  16. 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,
  17. Dr Michael Franssen, Technische Universiteit Eindhoven, Vakgroep Informatica / Formele Methoden groep, Postbus 513, 5600MB Eindhoven, The Netherlands, Phone: +31 40 247 5004. Fax: +31 40 246 3992. E-mail: michaelf@win.tue.nl.
  18. Dr Murdoch J. Gabbay, University of Cambridge Computer Laboratory, William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK. Tel: +44 (0)1223 763500. Fax: +44 (0)1223 334678. Email: mjg1003@cl.cam.ac.uk.
  19. Mr Ferruccio Guidi. University of Bologna, and Università di Padova. Address: Cannaregio 1104 Venezia I-30121, Italy. Email: fguidi@cs.unibo.it.
  20. Dr Christian Haack. Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email:tamtoft@macs.hw.ac.uk. Tel:+44 131 451 3869. Fax: +44 131 451 3336.
  21. Professor 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
  22. Ms Ruth Anne Hardy. University of St-Andrews. School of Computer Science. North Haugh, St Andrews, Fife FY169SS. E-mail: rh@dcs.st-and.ac.uk.
  23. Professor Gerard Huet. INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. Tel: + 33 1 39 63 54 60. Fax: + 33 1 39 63 56 84. Email: Gerard.Huet@inria.fr.
  24. Dr Paul Jackson. Email: pbj@dcs.ed.ac.uk.
  25. Dr Tudor Jebelean. Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University A-4040 Linz, Austria. Phone: +43 7236 3231 46. Fax: +43 7236 3231 30. Email: Tudor.Jebelean@risc.uni-linz.ac.at.
  26. 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.
  27. Mr Jeremy Kay. Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Email: ceejk1@macs.hw.ac.uk.
  28. Dr Manfred Kerber. School of Computer Science, The University of Birmingham, Birmingham, B15 2TT, England. Phone: +44-121-414-4787. Fax: +44-121-414-4281. E-mail: M.Kerber@cs.bham.ac.uk.
  29. Professor Claude Kirchner. LORIA & INRIA. Technopole de Nancy Brabois - Campus Scientifique, 615, rue du Jardin Botanique, BP-101, 54602 Villers-lès- Nancy, FRANCE. Tel: (33) 03 83 59 30 11. Fax: (33) 03 83 27 83 19. E-mail: Claude.Kirchner@loria.fr.
  30. Dr Helene Kirchner. LORIA-CNRS & INRIA Lorraine, Campus Scientifique, Bâtiment LORIA, BP 239, 54506 Vandoeuvre-lès- Nancy, FRANCE. Tel: (33) 03 83 59 30 12 . Fax: (33) 03 83 27 83 19. E-mail: Helene.Kirchner@loria.fr.
  31. Dr Michael Kohlhase. School of Computer Science, (LTI) Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, Pa, 15213-3891, USA. Tel: +1 412 268-5749. Fax: +1 412 268-6298. Email: kohlhase+@cs.cmu.edu.
  32. Dr Michal Konecny. Department of Computer Science, Kings Buildings, University of Edinburgh EH9 3JZ, SCOTLAND. Email: mkonecny@dcs.ed.ac.uk.
  33. Professor Daniel Leivant. Computer Science Dept, 150 S Woodlawn Ave, Indiana University, Bloomington, IN 47405-7104. Email: leivant@cs.indiana.edu. Phone: 812-855.6221. Fax: 812-855.4829.
  34. Dr Alexander Lyaletski. Faculty of Cybernetics, Kiev National Taras Shevchenko University, 2, Glushkov avenue, building 6, 03022 Kiev, Ukraine. Phone: +(38 044) 266 3108 (office). Fax: +(38 044) 266 1059. E-mail: lav@tc.unicyb.kiev.ua.
  35. Dr Mohamed Mezghiche. Universite de Boumerdes, Departement d'informatique, Faculte des sciences, Algeria. Email: mmez@wissal.dz.
  36. 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
  37. Virgile Prevosto. LIP6 -- 8 rue du Capitaine Scott -- 75015 Paris (France). E-mail: virgile.prevosto@lip6.fr.
  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 Christophe Raffalli. Email : Christophe.Raffalli@univ-savoie.fr. Universite de Savoie, Le laboratoire de Mathématiques, Chambery, France. Phone : (33) 4 79 75 81 03. Fax : (33) 4 79 75 81 42.
  40. Ms Amelia Viorela Rastei. Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. email: amelia@macs.hw.ac.uk. Tel:+44 131 451 4196. Fax: +44 131 451 3327.
  41. Mr Tom Ridge. University of Edinburgh, SLI institute. Email: T.J.Ridge@sms.ed.ac.uk
  42. 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,
  43. Dr Koichi Takahashi. National Institute of Advanced Industrial Science and Technology (A IST), Nakoji 3-11-46, Amagasaki 661-0974, JAPAN. E-mail: k.takahashi@aist.go.jp
  44. Dr. Andrzej Trybulec. Institute of Mathematics, University of Bialystok, ul. Akademicka 2, 15-267 Bialystok, Poland. Tel: +48 (85) 7457559. Fax: +48 (85) 7457073.
  45. Dr Christian Urban. University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, Wilberforce Road, Cambridge CB3 0WB, UK. E-mail: Christian.Urban at cl.cam.ac.uk.
  46. Dr Alexei Vernitski. Middlesex University, School of Computing Science, Bounds Green Road, London N17 2NQ. Email: a.vernitski.mdx.ac.uk.
  47. Ms Tanja Vos. Instituto Tecnologico de Informatica, Universidad Politecnica de Valencia, Camino de Vera s/n - 46071 Valencia (Spain). Tel. +34 96 387 72 43. Fax. +34 96 387 72 39. Email: tanja@iti.upv.es.
  48. 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.
  49. Dr Benjamin Werner. INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. Tel: + 33 1 39 63 50 27. Fax: + 33 1 39 63 56 84. Email: Benjamin.Werner@inria.fr.
  50. Dr Freek Wiedijk. Catholic University of Nijmegen, Informatica, PO Box 9010, 6500 GL Nijmegen, The Netherlands, Tel: +31.24-3652492. Fax: +31.24-3652525. Email: freek@cs.kun.nl.