MKM: Mathematical Knowledge Management

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
MKM 2010 The 9th International Conference on Mathematical Knowledge Management
Jul 8, 2010 - Jul 10, 2010 Paris, France Mar 10, 2010 (Mar 3, 2010)
 
 

Present CFP : 2010

The 9th International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

MKM 2010

http://cicm2010.cnam.fr/mkm/

CNAM, Paris, France, 8th-10th July 2010


DEADLINE EXTENSION:
Abstracts: Wednesday, 3rd March 2010
Papers: Wednesday, 10th March 2010

FINAL CALL FOR PAPERS


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. Topics covered include, but are not limited to:.

* Representations of mathematical knowledge
* Repositories of formalized mathematics
* Mathematical digital libraries
* Diagrammatic representations
* Multi-modal representations
* Mathematical OCR
* Mathematical search and retrieval
* Deduction systems
* Math assistants, tutoring and assessment systems
* Authoring languages and tools
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Computer algebra systems
* Collaboration tools for mathematics
* Challenges and solutions for mathematical workflows

MKM 2010 welcomes research papers and workshop proposals with links to
the above topics. The conference proceedings will be published in the
Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI).

More information about the MKM conference series can be found at the MKM
Interest Group Webpage: http://www.mkm-ig.org/


Submission Categories
=====================

Papers may be submitted in one of three categories: full papers, short
papers or system descriptions.

Both full papers and system descriptions should not exceed 15 pages,
must be original and not be submitted for consideration elsewhere. Full
or system description papers that are accepted will be published in the
conference proceedings. A submission not accepted as a full paper or
system description will automatically be considered as a short paper.

Short papers are of a less formal nature. They are intended to provide a
forum for the presentation and discussion of works in progress or ideas
that are not (yet) in a suitable form for submission as a full or system
description paper. They may be up to 5 pages in LNCS style. Depending on
the number of short papers accepted, presentation may be as a short talk
or as a poster. It will be at the discretion of the programme committee
to decide whether individual short papers will be accepted for
presentation only or for presentation and publication in the conference
proceedings.

The development of working systems in the field of Mathematical
Knowledge Management is a major undertaking of significant value to our
community. Papers describing such systems, however, are particularly
difficult to compare to non-system development based research with
respect to criteria common in reviewing. For this reason, papers in the
system description category will be considered separately and an
evaluation of their special contribution with be taken into account in
the review process.


Review Process
==============

* Authors must submit an abstract by the abstract submission date.

* The full paper, of any of the three categories, should be received by
the paper submission date.

* Authors will then be sent initial reviews of their submissions.

* Authors then have the option of, within one week, submitting a single
response to the reviews, limited to 500 words, in which they can
clarify any issues or anser any questions that the reviewers had about
their submission. This response can be submitted only once and cannot
thereafter be resubmitted or modified.

* Final reviews and acceptance rejection decisions will be sent to the
authors by the final notification date.


Important Dates
===============



Abstract Submission: Wed, March 3rd, 2010
Paper Submission: Wed, March 10th, 2010
Initial Reviews Sent: Wed, March 31st, 2010
Author's Response Due: Wed, April 7th, 2010
Notification: Wed, April 14th, 2010
Camera-ready Papers: Wed, April 28th, 2010
Conference: 8th-10th July 2010


Proceedings
===========

The proceedings of the conference will be published as a volume in
the series Lecture Notes in Artificial Intelligence (LNAI) by
Springer-Verlag. In addition to the formal proceedings published by
Springer, we will provide links to online versions of the published
papers from the conference website.

Submission Details
==================

By submitting a paper the authors agree that if it is accepted at least
one of the authors will attend the conference to present it.

All submissions (except workshop proposals) must be formatted according
to the guidelines used by Springer Verlag for their LNCS and LNAI
series. This format can be found at
http://www.springer.com/comp/lncs/authors.html

Submission website:
http://www.easychair.org/conferences/?conf=mkm10

 

Related Resources

eKNOW 2025   The Seventeenth International Conference on Information, Process, and Knowledge Management
MCO 2025   Modelling, Computation and Optimization in Information Systems and Management Sciences 2025
PAKDD 2025   29th Pacific-Asia Conference on Knowledge Discovery and Data Mining
IMCOM 2025   19th International Conference on Ubiquitous Information Management and Communication
ecml-pkdd-journal-track 2025   Journal Track with ECML PKDD 2025
LDK 2025   Fifth Conference on Language, Data and Knowledge
ICIME--EI 2025   2025 13th International Conference on Information Management and Engineering (ICIME 2025)
ICIME 2025   2025 13th International Conference on Information Management and Engineering (ICIME 2025)
ICTC--SCI 2025   2025 6th Information Communication Technologies Conference (ICTC 2025)--SCI
ACM ICISS 2025   ACM--2025 The 8th International Conference on Information Science and Systems (ICISS 2025)