Mathematical Knowledge Management workshop
Second North American Workshop on
Mathematical Knowledge Management
January 6, 2004
Phoenix, Arizona
If I had time, I'd be attending this workshop. Anyone able to attend, and interested in reporting on proceedings for GalaxyGoo?
From the email notification:
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.