MKM 2006: The 5th International Conference on Mathematical KnowledgeManagement

The Conference

The Fifth Conference will be run at the St Annes Manor inWokingham, UK from 11th to 12th August 2006.
An associated workshop, MathematicalUser Interfaces, will be held on 10th August at the same venue.

The conference will be an official satellite event of The International Congress of MathematiciansMadrid 2006 (22-30 August 2006).
There is a related satellite meeting on Communicating Mathematics in the DigitalEra (15-18 August 2006 in Aveiro,Portugal).

The deadline for paper and workshop submissions has now passed. Refereeingof papers is underway.

Registration

Ordinary advance registration for the conference has now closed. If youwish to attend and have not yet registered, please contact the by email fordetails.

Schedule of Conference

Conference Goals

Mathematical Knowledge Management (MKM) is an emerginginterdisciplinary field of research in the intersection ofmathematics, computer science, library science, and scientificpublishing. Its objective is to develop new and better ways ofmanaging mathematical knowledge using sophisticated software tools.Its grand challenge is to create a universal digital mathematicslibrary accessible via the World Wide Web. Sponsored by the MKMInterest Group, MKM 2006 will be the fifth conference in a series ofinternational MKM conferences that started in 2001 (see below).

Themes

1. The nature of mathematical proof and its role in managing mathematical knowledge. Mathematical proof is the traditional method for certifying, communicating, and discovering mathematical knowledge. The innovative use of computers to perform mathematical computations, empirical confirmations, and logical deductions is challenging conventional notions of mathematical proof. What impact will new ideas about proof have on MKM?
2. New modes of consuming and producing mathematical knowledge. Engineers and scientists increasingly demand sophisticated mathematical knowledge that is different from the kind of knowledge mathematicians traditionally produce. Moreover, engineers and scientists are obtaining a large and growing portion of their mathematical knowledge by way of mathematical software systems. How will such mathematical knowledge be produced, transmitted, and consumed in the future?

The Call for Papers requested research papers onthese two themes as well as on all other aspects of MKM.

Plenary Speakers

• Gregory J. Chaitin , IBM Research
  Irreducible complexity in pure math
• Abdou Youssef , George Washington University
  Roles of Math Search in Mathematics

Organisation

People

• Jon Borwein (Co-Chair), Dalhousie University , Canada
• William Farmer (Co-Chair), McMaster University , Canada
• Andrew A. Adams , University of Reading , UK
• Alessandro Armando , University of Genova , Italy
• Paul Cairns , University College London , UK
• Michiel Hazewinkel, CWI , Netherlands
• AlejandroJofre , University of Chile , Chile
• Michael Kohlhase , International University Bremen , Germany
• Dan Lozier , National Institute of Standards andTechnology , USA
• Robert Miner, Design Science , USA
• Jim Pitman , University of California at Berkeley ,USA
• Andrzej Trybulec , University of Bialystok , Poland
• Alf van der Poorten , Macquarie University , Australia
• Stephen Watt , University of Western Ontario , Canada
• Bernd Wegner, Technical University of Berlin , Germany
• Freek Wiedijk , Nijmegen University , Netherlands

• Andrew A. Adams , The University of Reading , UK
• Paul Cairns , UCL , UK

Site

Travelling to the St Annes Manor

The hotel website has road directions for those coming by car.

For those coming by train you should head for either Reading or Wokingham stations (Reading is a mainline station so may be easier) and get a taxito the hotel from there.

For those flying in to Heathrow, there are two options. You can arrangea taxi direct from Heathrow (e.g. from Airport Cars )or you can get the RailAir Link which is a coach service direct from Heathrow to Reading train station,from where you can get a taxi to the hotel.

Proceedings

Enquiries

General enquiries should be sent to the .

Enquiries about the call for papers and workshops should be sent to the .

Previous Meetings