[Om] MKM 2006 Final Call for Papers and Workshop Proposals

[William Farmer]

=====================================================================

			       MKM 2006

		The Fifth International Conference on
		 MATHEMATICAL  KNOWLEDGE  MANAGEMENT

		   http://www.reading.ac.uk/MKM06/

	       An ICM Madrid 2006 Satellite Conference

			  10-12 August 2006
		   St. Anne's Manor, Wokingham, UK
		   http://www.hilton.co.uk/stannes/


		 FINAL CALL FOR PAPERS AND WORKSHOPS

=====================================================================

GENERAL

Mathematical Knowledge Management (MKM) is an emerging
interdisciplinary field of research in the intersection of
mathematics, computer science, library science, and scientific
publishing.  Its objective is to develop new and better ways of
managing mathematical knowledge using sophisticated software tools.
Its grand challenge is to create a universal digital mathematics
library accessible via the World Wide Web.  Sponsored by the MKM
Interest Group, MKM 2006 will be the fifth conference in a series of
international MKM conferences that started in 2001 (see below).

MKM 2006 is an official satellite conference of the International
Congress of Mathematicians Madrid 2006 (August 22-30, 2006).  A
related ICM satellite conference is Communicating Mathematics in the
Digital Era (August 15-18, 2006 in Aveiro, Portugal).

CONFERENCE THEMES

MKM 2006 will stress two 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?

MKM 2006 welcomes research papers and workshop proposals on these two
themes as well as on all other aspects of MKM.

PLENARY SPEAKERS

   o Gregory J. Chaitin    IBM Research
   o Abdou Youssef         George Washington University

PAPER SUBMISSIONS

Authors are invited to submit papers up to 12 pages that describe
original theoretical or applied research and that have not been
submitted for publication elsewhere.  Submitted papers will be
peer-reviewed, and those papers accepted will appear in the
proceedings before the Conference.  Authors of accepted papers are
expected to present their work at MKM 2006.  The full paper in PDF
format should be submitted electronically via the EasyChair submission
system at http://www.easychair.org/MKM2006/ no later than March 13,
2006.

The conference proceedings will be published by Springer in the
Lecture Notes in Artificial Intelligence (LNAI) series.  The final
versions of accepted papers must be prepared in LaTeX2e according to
Springer's "Information for LNCS Authors".

WORKSHOP PROPOSALS

Proposals for workshops on MKM-related topics are solicited.
Workshops will run for a half day or full day and may present
preliminary work, new ideas, or specialized topics for dissemination
and discussion.  The workshop organizers are responsible for the
workshop program, but local arrangements will be organized by the
Conference.

A workshop proposal of no more than three pages should include the
workshop's title, the names and backgrounds of the organizers, the
description of the workshop topics and goals, the intended audience,
and a description of how the workshop will be run.  Proposals in PDF
format should be submitted electronically via the EasyChair submission
system at http://www.easychair.org/MKM2006/ no later than February 27,
2006.

IMPORTANT DATES

Workshop proposals deadline:           February 27, 2006
Paper submission deadline:             March 13, 2006
Notification of acceptance/rejection:  April 24, 2006
Final versions due:                    May 15, 2006
Conference:                            August 10-12, 2006

PROGRAM COMMITTEE

Andrew Adams                University of Reading, UK
Alessandro Armando          University of Genova, Italy
Jonathan Borwein (Co-Chair) Dalhousie University, Canada
Paul Cairns                 University College London, UK
William Farmer (Co-Chair)   McMaster University, Canada
Michiel Hazewinkel          CWI, Netherlands
Alejandro Jofre             University of Chile, Chile
Michael Kohlhase            International University Bremen, Germany
Dan Lozier                  National Institute of Standards and Technology, 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

CONFERENCE CO-CHAIRS

Andrew Adams                University of Reading, UK
Paul Cairns                 University College London, UK

RELATED LINKS

MKM IG       http://www.mkm-ig.org/
MKM 2001     http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003     http://www.cs.unibo.it/MKM03/
MKM 2004     http://mizar.uwb.edu.pl/MKM2004/
MKM 2005     http://www.mkm-ig.org/meetings/mkm05/
MKM Symposium 2003  http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/
NA-MKM 2002  http://imps.mcmaster.ca/na-mkm-2002/
NA-MKM 2004  http://imps.mcmaster.ca/na-mkm-2004/

QUESTIONS

Please send questions to W. Farmer at wmfarmer at mcmaster.ca.

=====================================================================