[isabelle] CICM 2011: Final Call for Papers

Mar  3: Registration/abstract deadline (required for all tracks)
Mar 11: Full paper deadline


Conference on Intelligent Computer Mathematics (CICM)

Bertinoro, Forli (Italy), 18-23 July 2011


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, and workshop proposals should be sent to the
CICM PC Chair (J.H.Davenport at 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

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:

** MKM track **

    * 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

** Calculemus track **

    * 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.

The web page for electronic submission is:
http://www.easychair.org/conferences/?conf=cicm11  <--- not 2011

***** Important Dates *****

For formal submissions:

Abstract submission: March 03, 2011

Submission deadline: March 11, 2011

Reviews sent to authors: April 07, 2011

Rebuttals due: April 14, 2011

Notification of acceptance: April 21, 2011

Camera ready copies due: May 09, 2011

For work-in-progress submissions:

Abstract submission: April 30, 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)

** MKM track **

Florian Rabe                 (Jacobs University, Bremen) Chair
Laurent Bernardin            (Maplesoft)
Thierry Bouche               (Joseph Fourier University, Grenoble)
Simon Colton                 (Imperial College)
Patrick Ion                  (American Mathematical Society)
Johan Jeuring                (University of Utrecht)
Fairouz Kamareddine          (Heriot-Watt University)
Manfred Kerber               (University of Birmingham)
Andrea Kohlhase              (DFKI Bremen)
Paul Libbrecht               (University of Saarbruecken)
Bruce Miller                 (National Institute of Science and Technology)
Adam Naumowicz               (University of Bialystok)
Claudio Sacerdoti Coen       (University of Bologna)
Petr Sojka                   (Masaryk University)
Volker Sorge                 (University of Birmingham)
Masakazu Suzuki              (Kyushu University)
Enrico Tassi                 (INRIA)
Makarius Wenzel              (University of Paris-South)
Freek Wiedijk                (Radboud University Nijmegen)

** Calculemus track **

William Farmer               (McMaster University, Canada) Chair
Thorsten Altenkirch          (Nottingham University)
Serge Autexier               (DFKI Bremen)
Christoph Benzmueller        (Articulate Software)
Anna Bigatti                 (University of Genoa)
Herman Geuvers               (Radboud University Nijmegen)
Deepak Kapur                 (University of New Mexico)
Cezary Kaliszyk              (University of Tsukuba)
Assia Mahboubi               (Ecole Polytechnique)
Francisco-Jesus Martin-Mateos(University of Seville)
Russell O'Connor             (INRIA and McMaster University)
Grant Passmore               (University of Cambridge and University
of Edinburgh)
Silvio Ranise                (Fondazione Bruno Kessler)
Alan Sexton                  (University of Birmingham)
Adam Strzebonski             (Wolfram Research)

** Systems and Projects Track **

Josef Urban                  (Radboud University Nijmegen) Chair
Andrea Asperti               (University of Bologna)
Michael Beeson               (San Jose State University)
Jacques Carette              (McMaster University)
Michael Kohlhase             (Jacobs University, Bremen)
Christoph Lange              (Jacobs University, Bremen)
Piotr Rudnicki               (University of Alberta)
and members of the MKM and Calculemus programme committees

More details are at http://cicm11.cs.unibo.it

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.