Call for Papers

Track A: Mathematical Knowledge Management (MKM)

Track B: Calculemus

Track C: Systems & Projects

In addition to the formal tracks above, CICM has historically had associated workshops.

Workshop proposals should be sent to the CICM PC Chair (J.H.Davenport@bath.ac.uk), DEFINITELY by the end of February 2011.

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.

Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business.

Common to MKM and Calculemus is a need for their solutions to be implemented and applied. Hence there will also be a "Systems and Projects" track. It aims to provide a broad overview of the developed systems, projects, ideas, and interests of the CICM community. The track welcomes two-page abstracts about fresh systems and projects related to mathematical knowledge management (MKM) and Calculemus topics, and about progress on existing systems and projects.

After successfully colocating as the Conference of Intelligent Computer Mathematics (CICM), MKM and Calculemus will formally join for CICM 2011. CICM seeks original high-quality submissions in their tracks and the "Systems and Projects" track. The topics of interest include but are not limited to:

The topics of interest include but are not limited to:

MKM track

Calculemus track

Representations of mathematical knowledge
Authoring languages and tools
Repositories of formalized mathematics
Deduction systems
Mathematical digital libraries
Diagrammatic representations
Mathematical OCR
Mathematical search and retrieval
Math assistants, tutoring and assessment systems
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

Theorem proving in computer algebra (CAS)
Computer algebra in theorem proving (PA and ATP)
Case studies and applications that both involve computer algebra and mechanised reasoning
Representation of mathematics in computer algebra
Adding computational capabilities to PA and ATP
Formal methods requiring mixed computing and proving
Combining methods of symbolic computation and formal deduction
Mathematical computation in PA and ATP
Theory, design and implementation of interdisciplinary systems for computer mathematics
Theory exploration techniques
Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP).
Infrastructure for mathematical services

Systems and Projects track

Systems addressing the MKM and Calculemus topics
Projects and long-term visions addressing the MKM and Calculemus topics

Papers on other topics closely related to the above research areas will also be welcomed for consideration.

Submission

CICM seeks both formal and work-in-progress submissions.

Formal submissions to tracks A or B must not exceed 15 pages and will be reviewed by blind peer review and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision.

Submissions to the Systems & Projects track must not exceed two pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The two pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance.

Selected formal submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org.

Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5 - 10 pages.

The programme committee may offer authors of rejected formal submissions to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report.

All papers should be prepared in LaTeX and formatted according to the requirements of the Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). 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.

Electronic submission is done through easychair (only submission of works in progress is still open)

Important Dates

Formal submissions	Work-in-progress
Abstract submission: 03/March/2011 Submission deadline: 11/March/2011 Reviews sent to authors: 07/April/2011 Rebuttals due: 14/April/2011 Notification of acceptance: 21/April/2011 Camera ready copies due: 09/May/2011	Submission deadline: May 7, 2011 Notification of acceptance: May 30, 2011 Camera ready copies due: June 7, 2011

Programme Committee

General chair: James Davenport (University of Bath)