The 9th International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
MKM 2010
CNAM, Paris, France, 8th-9th July 2010
as part of CICM 2010 - Conferences on Intelligent Computer Mathematics
http://cicm2010.cnam.fr/
Mathematical Knowledge Management is an innovative field at the
intersection of mathematics, computer science, library science, and
scientific publishing. Its development is driven, on the one hand, by
new technological possibilities which computer science, the Internet,
and intelligent knowledge processing offer, and, on the other hand, by
the increasing demand by engineers and scientists for new techniques
to help in producing, transmitting, consuming, and managing
sophisticated mathematical knowledge.
The conference is concerned with all aspects of mathematical knowledge
management. More information about the MKM conference series can be
found at the MKM Interest Group Webpage: http://www.mkm-ig.org/
As part of the Conferences on Intelligent Computer Mathematics, it
will be co-located with the 17th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning (Calculemus 2010) and
the 10th International Conference on Artificial Intelligence and
Symbolic Computation (AISC 2010), and a number of workshops and a
doctoral programme. For more information, see http://cicm2010.cnam.fr/
Registration to the conference is now open and online at
http://cicm2010.cnam.fr/registration.html
Registration includes one hard-copy of the Springer LNAI proceedings
of the CICM conferences and one social event. Information on
accommodation and travelling is also available on the CICM 2010 web
pages.
For further information:
Email: mkm10@easychair.org
Website: http://cicm2010.cnam.fr/mkm/
Scientific Programme (MKM 2010)
====================
Invited Talks
- Can we make Mathematics universal as well as fully reliable ?
Pierre Cartier
- Against Rigor
Doron Zeilberger
Research papers and presentations
- Smart matching
Andrea Asperti, Enrico Tassi
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
Xiaoyu Chen
- An OpenMath Content Dictionary for Tensor Concepts
Joseph Collins
- On Duplication in Mathematical Repositories
Adam Grabowski, Christoph Schwarzweller
- Adapting Mathematical Domain Reasoners
Bastiaan Heeren, Johan Jeuring
- Integrating multiple sources to answer questions in Algebraic Topology
Jönathan Heras, Vico Pascual, Ana Romero, Julio Rubio
- Towards Automatic Formalization of Informal Mathematics with MathNat
Muhammad Humayoun and Christophe Raffalli
- sTeXIDE: An Integrated Development Environment for sTeX Collections
Constantin Jucovschi, Michael Kohlhase
- Proofs, proofs, proofs, and proofs
Manfred Kerber
- Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
- The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents
Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk
- Notations Around the World: Census and Exploitation
Paul Libbrecht
- Evidence Algorithm and System for Automated Deduction: A Retrospective View
Alexander Lyaletski, Konstantin Verchinine
- On Building a Knowledge Base for Stability Theory
Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
- Proviola: a Tool for Proof Re-animation
Carst Tankink, James McKinna, Herman Geuvers, Freek Wiedijk
- A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers
Co-Located Events
=================
Conferences
- 17th Symposium on the Integration of Symbolic Computation and
Mechanised Reasoning (Calculemus 2010)
- 10th International Conference on Artificial Intelligence and
Symbolic Computation (AISC 2010)
Workshops
- 3rd Workshop on Compact Computer Algebra (CCA)
- 3rd Workshop, Towards a Digital Mathematics Library (DML)
- 6th Workshop on Mathematical User-Interfaces (MathUI)
- Workshop on Mathematically Intelligent Proof Search (MIPS)
- 23rd Workshop on OpenMath (OpenMath)
- 4th Workshop on Programming Languages for Mechanized
Mathematics Systems (PLMMS)
- Content Math Training Camp with Doctoral Programme (CMTC+DP)
Social Events
=============
- Conference reception with Wine & Cheese buffet
- Conference Banquet at the "Cafe des Techniques" at the CNAM Museum
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment