[FOM] MKM 2005 (Mathematical Knowledge Management) first Call for Papers
Michael Kohlhase
m.kohlhase at iu-bremen.de
Mon Feb 7 03:40:39 EST 2005
Please post - apologies for multiple copies.
============================================
MKM 2005
Fourth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
http://www.mkm-ig.org/meetings/mkm05/
15. - 16. July 2005 (Workshops: 14. July)
Bremen --- Germany
(organized by International University Bremen)
CALL FOR PAPERS
Mathematical Knowledge Management is a new field in the intersection
of mathematics and computer science.
We need new techniques for managing the enormous volume of
mathematical knowledge available in current mathematical sources and
making it available through the new developments in information
technology. A list of topics (to be understood as specialized to the
realm of mathematical information) comprises but is not restricted to:
Knowledge representation Repositories of formalized mathematics
Metadata Deduction systems
Data mining Computer Algebra Systems
Digital libraries Authoring languages and tools
Searching and retrieving Interactive learning
Languages of mathematics Web presentation of mathematics
Math assistants MathML- and XML-based standards
SUBMISSION
The deadline for submissions is March 20, 2005. Submitted papers should
not exceed 15 pages, must be original and not submitted for publication
elsewhere. All papers submitted to the Conference will be reviewed.
Accepted papers will appear in the proceedings before the Conference.
PROCEEDINGS
We plan to publish the proceedings of the Conference in the
Springer-Verlag Lecture Notes in Artificial Intelligence series.
For instructions see http://www.mkm-ig.org/meetings/mkm05/.
Authors of accepted papers are expected to present their work
at the conference.
IMPORTANT DATES
Submission Deadline: March 20, 2005
Notification of acceptance/rejection: April 22, 2005
Camera ready copies: May 15, 2005
Conference: 15. - 16. July, 200
AFFILIATED WORKSHOPS - July 14, 2005
PROGRAM COMMITTEE
Michael Kohlhase International University Bremen, Germany (Chair)
Andrew Adams Reading University, UK
Andrea Asperti University of Bologna, Italy
Richard Baraniuk Rice University, USA
Christoph Benzmueller Saarland University, Germany
Olga Caprotti University of Helsinki, Finland
Mike Dewar NAG, Ltd., UK
Bill Farmer McMaster University, Canada
Tetsuo Ida University of Tsukuba, Japan
Fairouz Kamareddine Heriott Watt University, Scotland
Roman Matuszewski University of Bialystok, Poland
Robert Miner Design Science, USA
Till Mossakowski Unversity Bremen, Germany
Stephen Watt University Western Ontario, Canada
RELATED LINKS
MKM Consortium, http://monet.nag.co.uk/mkm/consortium.html
MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003, http://www.cs.unibo.it/MKM03/
MKM NET, http://monet.nag.co.uk/mkm/
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/
--
-------------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor for Computer Science Campus Ring 12,
School of Engineering & Science D-28758 Bremen, Germany
International University Bremen tel/fax: +49 421 200-3140/-493140
http://www.faculty.iu-bremen.de/mkohlhase <m.kohlhase at iu-bremen.de>
--------------------------------------------------------------------------
More information about the FOM
mailing list