[Please post - apologies for multiple copies.]
============================================
MKM 2005
Fourth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
http://www.mkm-ig.org/meetings/mkm05/
15. - 17. July 2005 (Workshop: 14. July)
Bremen --- Germany
(organized by International University Bremen)
FINAL CALL FOR PARTICIPATION
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
INVITED SPEAKER: Tom Hale (University of Pittsburgh)
MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003, http://www.cs.unibo.it/MKM03/
MKM 2004 http://www.mizar.org/MKM2004/
NA-MKM 2002, http://imps.mcmaster.ca/na-mkm-2002/
NA-MKM 2004, http://imps.mcmaster.ca/na-mkm-2004/
To become a member of the MKM Interest group go to the conference or
subscribe to
the MKM mailing list at
http://lists.iu-bremen.de/mailman/admin/projects-mkm-ig
--
-------------------------------------------------------------------------
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@iu-bremen.de>
--------------------------------------------------------------------------
_______________________________________________
projects-mkm-ig mailing list
projects-mkm-ig@lists.iu-bremen.de
http://lists.iu-bremen.de/mailman/listinfo/projects-mkm-ig
Friday, 15. July 2005
Time Title/Speaker
09:00 - 09:15 Opening
09:15 - 10:15 Session I
9:15 - 9:45 A Proof-Theoretic Approach to Hierarchical Math Library Organization
Kamal Aboul-Hosn and Terese Damhoej Andersen
9:45 - 10:15 An Exploration in the Space of Mathematical Knowledge
Andrea Kohlhase and Michael Kohlhase
10:15 - 10:45 Coffee Break
10:45 - 12:15 Session II (Authoring)
10:45 - 11:15 Authoring Presentation for OpenMath
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich and Erica Melis
11:15 - 11:45 Translating Mathematical Vernacular into Knowledge Repositories
Adam Grabowski and Christoph Schwarzweller
11:45 - 12:15 Assisted Proof Document Authoring
David Aspinall, Christoph Lüth and Burkhart Wolff
12:15 - 14:00 Lunch
14:00 - 15:30 Session III (Representations)
14:00 - 14:30 A Tough Nut for Mathematical Knowledge Management
Manfred Kerber and Martin Pollet
14:30 - 15:00 Textbook Proofs Meet Formal Logic -- The Problem of Underspecification and Granularity
Serge Autexier and Armin Fiedler
15:00 - 15:30 Processing Textbook-style Matrices
Alan Sexton and Volker Sorge
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session IV (Proving)
16:00 - 16:30 A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity
Serge Autexier, Christoph Benzmueller, Dominik Dietrich, Andreas Meier and Claus-Peter Wirth
16:30 - 17:00 Impasse-Driven Reasoning in Proof Planning
Andreas Meier and Erica Melis
17:00 - 17:30 Literate proving: presenting and documenting formal proofs
Paul Cairns and Jeremy Gow
17:30 - 18:30 MKM business meeting
19:00 - ??:?? Conference Dinner
Saturday, 16. July 2005
Time Title/Speaker
09:00 - 10:00 Session V (Invited Talk)
9:15 - 9:45 The Jordan Curve Theorem, from a formal point of view
Tom Hales
9:45 - 10:30 Coffee Break
10:30 - 12:30 Session VI (MKManagement Tools)
10:30 - 11:00 Semantic Matching for Mathematical Services
William Naylor and Julian Padget
11:00 - 11:30 Organisational Tools for MKM in Theorema
Florina Piroi, Bruno Buchberger, Camelia Rosenkranz and Tudor Jebelean
11:30 - 12:00 Mathematical Knowledge Browser with Automatic Hyperlink Detection
Koji Nakagawa and Masakazu Suzuki
12:00 - 12:30 A Database of Glyphs for OCR of Mathematical Documents
Alan Sexton and Volker Sorge
12:30 - 14:00 Lunch
14:00 - 15:30 Session VII (Documents)
14:00 - 14:30 Toward an Object-Oriented Structure for Mathematical Text
Fairouz Kamareddine, Manuel Maarek and J. B Wells
14:30 - 15:00 Explanation in Natural Language of lambda-bar-mu-mu-tilde terms
Claudio Sacerdoti Coen
15:00 - 15:30 Towards Consistent Mathematical Documents
Achim Mahnke and Jan Scheffczyk
15:30 - 16:00 Coffee Break
16:00 - 17:00 Session VIII (MKM Case studies)
16:00 - 16:30 Computational Origami of a Morley's Triangle
Tetsuo Ida, Mircea Marin and Hidekazu Takahashi
16:30 - 17:00 Designing diagrammatic catalogues of types of basic interval equation: A case study
Zenon Kulpa
17:00 - 17:30 Gröbner Bases -- Theory Refinement in the Mizar System
Christoph Schwarzweller
Sunday, 17. July 2005
Time Title/Speaker
09:00 - 10:00 Session IX (Course Materials)
9:00 - 9:30 An Interactive Algebra Course with Formalised Proofs and Definitions
Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Mamane and Claudio Sacerdoti Coen
9:30 - 10:00 Interactive Learning and Mathematical Calculus
Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean and Mark Spanbroek
10:00 - 11:00 Coffee Break
11:00 - 12:30 Session X (Migration)
10:30 - 11:00 XML-izing Mizar: making semantic processing and presentation of MML easy
Josef Urban
11:00 - 11:30 Determining Empirical Characteristics of Mathematical Expression Use
Clare So and Stephen Watt
11:30 - 12:00 Transformations of MML Database's Elements
Robert Milewski
12:00 - 12:30 Translating a Fragment of Weak Type Theory into Type Theory with Open Terms
Georgi Jojgov
12:15 - 14:00 Lunch