Email Gateway (Aug 18 2022 at 16:52): Email Gateway (Aug 18 2022 at 16:52):From: Makarius <makarius@sketis.net>
Second Call for Papers, including NEW Systems and Projects track
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@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 these theories to be developed
in systems and projects, hence there will also be a "Systems and Projects"
track, designed to enable people to showcase their 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
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 must not exceed 15 pages and will be reviewed by blind
peer review and evaluated regarding 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.
Selected formal submissions 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 offers authors of rejected formal submission
to publish as an work-in-progress submission instead. Depending on the
number of work-in-progress papers accepted, presentation may be as a short
talk or as a poster. The work-in-progress proceedings will be published as
a technical report.
The Systems and Projects track requires an abstract, with appropriate
references and links to on-line materials/demonstrations, of at most two
pages.
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
CICM conference:
* Programme Committee Chairs *
General chair:
James Davenport (University of Bath)
MKM track
Florian Rabe (Jacobs University, Germany) 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 Tract
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)
Christoph Lange (Jacobs University)
Piotr Rudnicki (University of Alberta)
and members of the MKM and Calculemus programme committees
More details are at http://cicm11.cs.unibo.it
Last updated: Nov 21 2024 at 12:39 UTC