From: William M. Farmer <wmfarmer@mcmaster.ca>

Date: Wed, 22 Oct 2003 09:25:18 -0400

Message-Id: <200310221325.JAA16999@wiglaf.cas.mcmaster.ca>

To: wmfarmer@wiglaf.cas.mcmaster.ca

Date: Wed, 22 Oct 2003 09:25:18 -0400

Message-Id: <200310221325.JAA16999@wiglaf.cas.mcmaster.ca>

To: wmfarmer@wiglaf.cas.mcmaster.ca

You are invited to participate in the Second North American Workshop On MKM to be held January 6, 2004 at the Joint Mathematics Meetings in Phoenix, AZ, USA (see announcement below). Best regards, Bill Farmer =========================================================================== -- Mathematical Knowledge is Mathematics' Treasure -- NA-MKM 2004 Second North American Workshop on Mathematical Knowledge Management Joint Mathematics Meetings Phoenix, Arizona, USA January 6, 2004 http://imps.mcmaster.ca/na-mkm-2004/ What is MKM? Mathematical Knowledge Management (MKM) is an exciting new field in the intersection of mathematics and computer science. The need for good MKM is great: mathematical knowledge is mathematics' treasure; it is vital to engineering, science, and mathematics itself, and it is used by millions of people. The challenge of MKM is also great: mathematical knowledge is unsurpassed in its extent, richness, and interconnectedness. Current technology is not capable of fulfilling this need and meeting this challenge. New and more sophisticated theory and technology is required. Objective The purpose of NA-MKM 2004 is to introduce the issues and challenges of MKM to the North American mathematics community. The goal will be to share ideas and to explore ways mathematicians and MKM researchers can collaborate. Organizers William Farmer, McMaster University (wmfarmer@mcmaster.ca) Michael Kohlhase, International University Bremen (m.kohlhase@iu-bremen.de) Dana Scott, Carnegie Mellon University (dana.scott@cs.cmu.edu) Bernd Wegner, Technische Universitaet Berlin (wegner@math.tu-berlin.de) Format The workshop will be a one-day meeting open to everyone attending JMM 2004. It will include two invited talks and 10 short presentations (see the Call for Presentations below). There will be ample time set aside for both formal and informal discussion. Invited Speakers Dr. Daniel W. Lozier Mathematical Software Group National Institute of Standards and Technology http://math.nist.gov/~DLozier/ Dr. R. Keith Dennis Department of Mathematics Cornell University http://www.math.cornell.edu/People/Faculty/dennis.html Why is MKM important to the North American mathematics community? First, mathematical knowledge is both the raw material and the finished product of mathematics. It is essential for the health of mathematics -- as well as engineering and science -- that mathematical knowledge be effectively managed. Second, effective MKM requires a sophisticated understanding of mathematics. Input from mathematicians, mathematics educators, and other members of the mathematics community is needed to steer MKM research in the right direction and keep it on track. Third, research in MKM is much more actively being pursued in Europe than in North America. Unless North Americans step up and play a role, the direction of MKM research may be largely determined by European interests. Relevant scientific and technological areas Computer algebra Computer theorem proving Digital libraries Formal methods of computing Intellectual property rights Knowledge representation Mathematical software design Mathematics documentation Mathematics education Mathematics publishing Web presentation of mathematics History The new field of MKM was launched in September 2001 with the First International Workshop on MKM at Hagenberg, Austria (http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/) organized by Bruno Buchberger and Olga Caprotti. The Second International Workshop on MKM was held in February 2003 in Bertinoro, Italy (http://www.cs.unibo.it/MKM03/), and the Third International Workshop on MKM will take place September 19-21, 2004 in Bialystok, Poland. In December 2001 an MKM consortium of researchers was founded under the leadership of Michel Hazelwinkel. The European members of the consortium received funding from the EU in 2002 for a large MKM exploratory project named the Mathematical Knowledge Management Network (see http://monet.nag.co.uk/mkm//index.html). The First North American Workshop on MKM (NA-MKM 2002) took place in June 2002 in Hamilton, Ontario, Canada (http://imps.mcmaster.ca/na-mkm-2002/). It was attended by 32 researchers and students from Canada and the United States. Registration If you are interesting in attending NA-MKM-2004, please send an e-mail message to William Farmer at wmfarmer@mcmaster.ca containing the following information about yourself: 1. Name 2. Affiliation 3. E-mail address There is no registration fee. Call for Presentations NA-MKM-2004 invites proposals for 10-minute presentations related to any aspect of MKM. Please send your proposal in the form of a 1-2 page extended abstract to William Farmer at wmfarmer@mcmaster.ca. Important Dates November 21, 2003: Deadline for presentation proposals January 6, 2004: Workshop Questions Please send questions to William Farmer at wmfarmer@mcmaster.ca.Received on Wednesday, 22 October 2003 09:39:34 GMT

*
This archive was generated by hypermail 2.2.0+W3C-0.50
: Saturday, 20 February 2010 06:12:55 GMT
*