[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


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.


   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.


   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)


   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

   Dr. R. Keith Dennis
   Department of Mathematics
   Cornell University

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


   The new field of MKM was launched in September 2001 with the First
   International Workshop on MKM at Hagenberg, Austria
   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.


   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 


   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