Mathematical Knowledge Management Symposium

25-29 November 2003

Heriot-Watt University, Edinburgh, Scotland

http://www.cedar-forest.org/forest/events/mkm-symposium03/

Mathematical Knowledge Management Network

  1. Andrea Asperti. Dipartimento di Scienze dell'Informazione, University of Bologna, Via di Mura Anteo Zamboni, 7, 40127 Bologna, Italy. Phone: (39) 051.209.45.05. Fax: (39) 051.209.45.10. Email: asperti@cs.unibo.it.
  2. Serge Autexier. Computer Science Dept., Saarland University, Saarbruecken, Germany and German Research Center for Artificial Intelligence (DFKI), Saarbruecken, Germany. Phone: +49-681-302-5073. Fax: +49-681-302-2235. Email: autexier@dfki.de
  3. Grzegorz Bancerek. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: bancerek@math.uwb.edu.pl.
  4. 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
  5. Christoph Benzmueller. AG Deduktionssysteme , FR Informatik , Universität des Saarlandes , D-66041 Saarbrücken , Germany.
    Phone: +49-681-302-4574. Fax: +49-681-302-5076. E-mail: chris@ags.uni-sb.de
  6. Kees Blom. CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, Tel: 020-5924299 (+31 20 5924299). Fax: 020-5924199 (+31 20 5924199). E-mail: Kees.Blom@cwi.nl.
  7. 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.
  8. Alan Bundy. Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Tel: 44-131-650-9342, Fax: 44-131-650-6516 Email: bundy@dai.ed.ac.uk,
  9. Czeslaw Bylinski. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: bylinski@math.uwb.edu.pl.
  10. Roy McCasland. Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, Scotland. Tel: 44-131-650-9342, Fax: 44-131-650-6516, Email: rmccasla@dai.ed.ac.uk,
  11. Paul Cairns. UCL Interaction Centre, University College London, Remax House, 30-32 Albert Place, London, WC1E 2DP, UK. Phone: +44 (0)20 7679 5208. Email: p.cairns@ucl.ac.uk.
  12. Sebastian Carlier. Heriot-Watt University, School of mathematical and Computer Sciences, Riccarton, Edinburgh EH14 4AS, Scotland. Email: sebc@macs.hw.ac.uk. Tel:+44 131 451 3336. Fax: +44 131 451 3327.
  13. Professor Robert Constable, Department of Computer Science, 4149 Upson Hall, Cornell University, Ithaca, NY 14853, USA. Email: rc@cs.cornell.edu.
  14. Adrian Craciun. Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University A-4040 Linz, Austria. Email: craciun@risc.uni-linz.ac.at
  15. Professor Ingo Dahn. University of Koblenz, Germany. Email: dahn@uni-koblenz.de. Phone: +49-261-287-2771.
  16. James Davenport. Department of Computer Science, University of Bath, Bath, BA2 7AY, United Kingdom. Telephone: +44 1225 386181. Fax: +44 1225 383436. E-mail Address: J.H.Davenport@bath.ac.uk.
  17. Mike Dewar. URL: http://www.nag.co.uk/~miked Email: miked@nag.co.uk
  18. Armin Fiedler. Universitet des Saarlandes, FR Informatik, Postfach 15 11 50. D-66041 Saarbr=FCcken, Germany. Phone: +49-681-302-2139. Fax: +49-681-302-5076. e-mail: afiedler@cs.uni-sb.de.
  19. Lilia Georgiva. Department of Computer Science, School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton Campus. Edinburgh EH14 4AS. Email: L.Georgieva@hw.ac.uk. Tel: +44 (0)131 451 8159. Fax: +44 (0)131 451 3327.
  20. George Goguadze. Universitdt des Saarlandes und Deutsches Forschungszentrum f|r K|nstliche Intelligenz, D-66123 Saarbr|cken, Germany. Email: george@ags.uni-sb.de
  21. A Gonzalez. Universitdt des Saarlandes und Deutsches Forschungszentrum f|r K|nstliche Intelligenz, D-66123 Saarbr|cken, Germany. Email:
  22. Jeremy Gow. UCL Interaction Centre (UCLIC), University College London, Remax House, 31-32 Alfred Place, London WC1E 7DP, UK. Tel. +44 (0)20 7679 5232. Fax. +44 (0)20 7580 1100. Email: j.gow@ucl.ac.uk.
  23. Adam Grabowski. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: adam@math.uwb.edu.pl.
  24. Klaus Grue. DIKU, Universitetsparken 1, DK-2100 Copenhagen East, Denmark. Phone: +45 35 32 14 09. Fax: +45 35 32 14 01. E-mail, grue@diku.dk.
  25. Ferruccio Guidi. Dep. of Computer Science, University of Bologna. Mura Anteo Zamboni 7, Bologna 40127, Italy. e-mail : fguidi@cs.unibo.it.
  26. Michiel Hazewinkel. P.O. Box 94079, 1090 GB Amsterdam, The Netherlands. Tel: +31-20-5924204. Email: mich@cwi.nl
  27. 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.
  28. Georgi Jojgov. Technische Universiteit Eindhoven, Den Dolech 2, HG 7.15, Postbus 513, 5600MB Eindhoven, Nederland. Email: G.I.Jojgov@tue.nl. Phone: +31 40 247 5004. Fax: +31 40 247 5361.
  29. Fairouz Kamareddine. Heriot-Watt University, School of mathematical and Computer Sciences, Riccarton, Edinburgh EH14 4AS, Scotland. Email: . Tel:+44 131 451 3868. Fax: +44 131 451 8179.
  30. Manfred Kerber. School of Computer Science, The University of Birmingham, Birmingham B15 2TT, M.Kerber@cs.bham.ac.uk.
  31. Kobayashi. Kobayashi, Hidetsune Nihon University, Japan 1-8 Kanda Surugadai, Chiyoda-ku, Tokyo 101 Japan. e-mail: hikoba@math.cst.nihon-u.ac.jp
  32. Franz Lichtenberger. Software Competence Center Hagenberg (SCCH), Hauptstrasse 99, A-4232 Hagenberg/Austria. e-mail: franz.lichtenberger@scch.at
  33. Yong Luo, Department of Computer Science University of Durham
  34. Manuel Maarek. Heriot-Watt University, School of mathematical and Computer Sciences, Riccarton, Edinburgh EH14 4AS, Scotland. Email: mm20@macs.hw.ac.uk. Tel:+44 131 4495111 (ext 4196). Fax: +44 131 451 3327.
  35. Antony Maciocia. School of Maths, The University of Edinburgh, JCMB - Kings Buildings, Mayfield Road, EH93JZ. Email: A.Macioicia@ed.ac.uk
  36. Roman Matuszewski. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: romat@mizar.org,
  37. Manolis Mavrikis. School of Maths, The University of Edinburgh, JCMB - Kings Buildings, Mayfield Road, EH93JZ. Email: M.Mavrikis@ed.ac.uk
  38. Erica Melis. Universitdt des Saarlandes und Deutsches Forschungszentrum f|r K|nstliche Intelligenz, D-66123 Saarbr|cken, Germany. Phone: +49-681-302-4629. Fax: +49-681-302-5076.
  39. Adam Naumowicz. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: adamn@math.uwb.edu.pl
  40. Koji Nakagawa. Kyushu Unversity, Faculty of Mathematics, Kyushu Univ., Hakozaki 6-10-1, Higashi-ku, Fukuoka-shi, 812-8581 JAPAN. E-mail: nakagawa@math.kyushu-u.ac.jp
  41. Amelia Rastei. Heriot-Watt University, School of mathematical and Computer Sciences, Riccarton, Edinburgh EH14 4AS, Scotland. Email: amelia@macs.hw.ac.uk. Tel:+44 131 4495111 (ext 4196). Fax: +44 131 451 3327.
  42. Krzysztof Retel. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: retel@uwb.edu.pl
  43. Florina Piroi. Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University A-4040 Linz, Austria. Florina.Piroi@risc.uni-linz.ac.at
  44. Renaud Rioboo, Universite Paris 6, LIP6 - Case 168, 4 Place Jussieu, F-75252 Paris CEDEX 05, Phone : +(33-1) 44-27-33-41. Fax : +(33-1) 44-27-88-78. mailto://Renaud.Rioboo@lip6.fr
  45. Mark Scheffer. Technische Universiteit Eindhoven, Den Dolech 2, HG 7.15, Postbus 513, 5600MB Eindhoven, Nederland. Email: zax@chello.nl. Phone: +31 40 247 5004. Fax: +31 40 247 5361.
  46. Carsten Schuermann. Department of Computer Science, Yale University, 51 Prospect St. New Haven, CT 06511. USA. Tel: ++1 203 432 2349. carsten@cs.yale.edu.
  47. Alan Sexton. School of Computer Science, The University of Birmingham, Birmingham B15 2TT, Email: A.P.Sexton@cs.bham.ac.uk.
  48. Pierre-Yves Strub. Heriot-Watt University, School of mathematical and Computer Sciences, Riccarton, Edinburgh EH14 4AS, Scotland. Email: strub@macs.hw.ac.uk. Tel:+44 131 4495111 (ext 4196). Fax: +44 131 451 3327.
  49. Andrzej Trybulec. University of Bialystok, Sklodowskiej-Curie 14 (street), 15-097 Bialystok, Poland, Email: trybulec@math.uwb.edu.pl
  50. Joe Wells. Heriot-Watt University, School of Mathematical and Computer Sciences, Riccarton, Edinburgh EH14 4AS, Scotland. Email: jbw@macs.hw.ac.uk. Tel:+44 131 451 3869. Fax: +44 131 451 8179.
  51. Juergen Zimmer, University of Saarbrücken and Edinburgh, 22/7 Blackwood Crescent, EH9 1QX Edinburgh, Scotland, http://www.mathweb.org/~jzimmer, Tel : +44 (0)131 651 4159. Fax: +44 (0)131 650 6513.