[om-a] Second North American Workshop On MKM
William M. Farmer
wmfarmer at mcmaster.ca
Wed Oct 22 15:25:18 CEST 2003
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 at mcmaster.ca)
Michael Kohlhase, International University Bremen
(m.kohlhase at iu-bremen.de)
Dana Scott, Carnegie Mellon University
(dana.scott at cs.cmu.edu)
Bernd Wegner, Technische Universitaet Berlin
(wegner at 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 at 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 at mcmaster.ca.
Important Dates
November 21, 2003: Deadline for presentation proposals
January 6, 2004: Workshop
Questions
Please send questions to William Farmer at wmfarmer at mcmaster.ca.
--
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce
mailing list