Michiel Hazewinkel (CWI, Amsterdam, NL): Why mathematical knowledgement and what could it be
Here is the program
Here is the list of participants.
Here is information
on how to get to Edinburgh, Heriot-Watt, your accommodation, and the
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
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.
theorem proving, automated reasoning, proof checking, verification of proofs and programs.
computer mathematics, automating mathematics, checking mathematics.
languages of mathematics, computational mathematics, mathematics on the web, formula recognition.
lambda calculus, type theory, logic, rewriting, and their applications to mathematics.
Send your submissions by email to Professor Fairouz Kamareddine,
Sunday 26 October 2003: submission deadline of papers.
1 November 2003: Deadline for cheap registration rates.
10 November 2003: notification of acceptance of the papers for the symposium.
17 November 2003: revision of accepted papers for the workshop and RESUBMISSION of
the papers for consideration for ENTCS.
25-29 November 2003: Symposium on Mathematical Knowledge Management.
10 December 2003: Selection of ENTCS papers.
17 December 2003: FINAL VERSIONS OF ACCEPTED ENTCS papers. Please
use the ENTCS macros dedicated to the MKM preliminary proceedings
which can be found at: http://www.math.tulane.edu/~entcs
15 January 2004: submission deadline of papers for the special issue on Mathematical Knowledge Management
journal of Applied Logic by Elsevier.
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:
Andrea Asperti (University of Bologna, IT)
Olga Caprotti (Risc-Linz, Austria)
James Davenport (University of Bath, UK)
William Farmer (McMaster University, Canada)
Fairouz Kamareddine (chair)
(Heriot-Watt University, UK)
Manfred Kerber (University of Birmingham, UK)
Michael Kohlhase (Technical University of Bremen, Germany)
Daniel Leivant (Indiana University, USA)
Rob Nederpelt (Eindhoven University of Technology, NL)
Renaud Rioboo (Univerite Paris VII, France)
Freek Wiedijk(University of Nijmegen, NL)
Grants 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
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
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
Last modified: Thursday 13 November 2003.