Workshop on History of Logics, Types and Rewriting

Heriot-Watt University, Edinburgh

Tuesday 5 December 2000

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

  1. Dr Carsten Butz.
    Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Tel:+44 131 451 3336. Fax: +44 131 451 3327.
    Email: carsten@macs.hw.ac.uk.
  2. Ewen Denney.
    Email: ewd@dai.ed.ac.uk.
  3. 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.
  4. Antongiulio Fornasiero.
    Edinburgh Univiversity, Department of Mathematics.
  5. Nick Gilbert.
    Heriot-Watt University, Department of Mathematics, Riccarton, Edinburgh, EH14 4AS.
    Email: nich@ma.hw.ac.uk.
  6. Prof Ivor Grattan-Guinness.
    Middleesex University.
    Email: I.Grattan-Guinness@mdx.ac.uk.
  7. Prof 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.
  8. Paul Jackson.
    Email: pbj@dcs.ed.ac.uk.
  9. Yang Jun.
    Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 3327.
    Email: ceejy1@macs.hw.ac.uk.
  10. Prof Fairouz Kamareddine.
    Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Tel:+44 131 451 3868. Fax: +44 131 451 8179.
    Email:
  11. Paul Lunau.
    Email: paull@ma.hw.ac.uk.
  12. Martin Lange.
  13. Ewan Maclean.
    Email: ewenm@dai.ed.ac.uk.
  14. Robert James McLean.
    Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland.
    Email: ceerjm1@macs.hw.ac.uk.
  15. Stuart McGlashan.
    Department of Mathematics, Glasgow University.
    Email: smc@maths.gla.ac.uk.
  16. Georgios Markoyiannakis.
    Heriot-Watt University. Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland.
    Email: ceegmm1@hw.ac.uk.
  17. Matias Menni.
    Email: matias@dcs.ed.ac.uk.
  18. Dr Fancois Monin.
    Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland.
    Tel:+44 131 451 4196. Fax: +44 131 451 3431. Email: monin@macs.hw.ac.uk.
  19. Oliver Payne.
    Email: o.m.payne@ncl.ac.uk.
  20. Dr Randy Pollack.
    Edinburgh Universtity, Division of Informatics, Kings Buildings, Edinburgh EH9 3JZ. Tel: 0131 650 5145.
    Email: rap@dcs.ed.ac.uk.
  21. Dr Alex Simpson.
    Email: als@dcs.ed.ac.uk.
  22. Prof Colin Stirling.
    Email: cps@dcs.ed.ac.uk.
  23. William Stirton.
    Email: w.stirton@ed.ac.uk.
  24. 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.
  25. Dr Joe Wells.
    Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Tel:+44 131 451 3869. Fax: +44 131 451 3327.
    Email: jbw@macs.hw.ac.uk.
  26. Stephane Vaillant.
    Email: svaillan@loupiac.inria.fr.