Mathematical Knowledge Management Symposium

25-29 November 2003

Heriot-Watt University, Edinburgh, Scotland

Mathematical Knowledge Management Network

Keynote Speakers

  • Henk Barendregt (Nijmegen, NL): Proposal for a machine & human refereed library of mathematics
  • N.G. de Bruijn (Eindhoven, NL): Recollecting the Automath project
  • Bob Constable (Cornell, USA) Steps toward a World Wide Digital Library of Formal Mathematics
  • James Davenport(Bath, UK): Computational Mathematics
  • Michiel Hazewinkel (CWI, Amsterdam, NL): Why mathematical knowledgement and what could it be


    Here is the program


    Here is the list of participants.

    Travel Information

    Here is information on how to get to Edinburgh, Heriot-Watt, your accommodation, and the symposium.

    Submitting talks and papers

    In addition to the keynote speakers, there is a number of invited lectures devoted to the state of art in systems, tools and methods for mathematical knowledge management. We would also like to accommodate a number of contributed talks from active researchers in the field. Papers can be on any aspect of theory and practice related to automating/formalising mathematics, to Mathematics on the web, to the engineering of Mathematics and any other related topics.

    Each accepted paper will be allocated half an hour presentation and will go through another refereeing process for selection of the papers which will appear in an ENTCS volume dedicated to the symposium, ISBN 044451290X, Elsevier.

    As in previous symposiums and workshops, extended versions of the accepted papers at this symposium, will be fully refereed for consideration in a special issue of an international journal. For this symposium, the journal in question is the journal of Applied Logic by Elsevier.

    Papers on the following non-inclusive list of topics are welcome:

    Please submit up to 20 pages A4 papers describing work in progres or work that is completed but has not been submitted to a conference or journal. All papers must be in latex and all submissions must be in postscript or pdf. Accepted papers will be required in latex at the publishing stage.

    Important dates

    Send your submissions by email to Professor Fairouz Kamareddine, email:

    Programme committee for selection of accepted papers at the symposium

    The programme committee for the selection of the papers for the symposium consists of the following:


    Grants covering part or all of the registration fee are available for a limited number of applicants. We strongly welcome applications from women researchers and researchers whose place of work is in a less-favoured region. If you are not sure about eligibility, send an email to

    Here is the form for application for funding. Deadline for receipt of grant applications is 25 October 2003. You will receive notification of acceptance/rejection by 1 November 2003.

    Cost of Registration

    Registration fee before 1 November is UK £ 275 (£ 175 for PhD students). After 1 November, the registration fee increases by 100 pounds. The registration fee covers refreshments, lunches, the banquet, and the informal proceedings. THE REGISTRATION FEE DOES NOT COVER ACCOMMODATION.

    Cost of Accommodation

    We have managed to exceptionally book subsidised conference accommodation for this event. All rooms are booked in conference accommodation in Robert Bryson hall, and are ensuite with telephone and television. MKM subsidised Prices are UK £ 30 pounds per night INCLUDING BREAKFAST. Those who already sent cheques for the earlier price of UK £ 35 pounds per night, will be refunded the difference.

    How to register and book accommodation

    To register, send name, affiliation, address, e-mail, dates of arrival/departure and a cheque in UK £ drawn on a UK bank to cover the registration fee and the number of nights of accommodation required. The cheque should be made payable to Heriot-Watt University and labelled "MKM-SYMPOSIUM 2003".

    Post applications for registration to Professor Fairouz Kamareddine, Attention MKM-SYMPOSIUM 2003, Heriot-Watt University, School of Mathematical and Computational Sciences, Mountbatten building, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 8179.

    In order to guarantee accommodation, it is advisable that your application is sent as soon as possible.


    Questions should be sent to

    Fairouz Kamareddine URL:
    Last modified: Thursday 13 November 2003.