From: William Farmer <wmfarmer@mcmaster.ca>

Date: Mon, 30 Jan 2006 09:39:04 -0500 (EST)

To: wmfarmer@mcmaster.ca

Message-Id: <20060130143904.BFFCF13F17B@hygd.cas.mcmaster.ca>

Date: Mon, 30 Jan 2006 09:39:04 -0500 (EST)

To: wmfarmer@mcmaster.ca

Message-Id: <20060130143904.BFFCF13F17B@hygd.cas.mcmaster.ca>

===================================================================== 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/ SECOND 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@mcmaster.ca. =====================================================================Received on Monday, 30 January 2006 14:39:18 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:37 UTC
*