Email Gateway (Aug 19 2022 at 13:42): Email Gateway (Aug 19 2022 at 13:42):From: serge.autexier@dfki.de
CICM 2014 - Conferences on Intelligent Computer Mathematics
July 7-11, 2014 at University of Coimbra, Portugal
http://www.cicm-conference.org/2014
Call for Papers
Extended Deadline: March 14th, 2014
CCA'14: Workshop on Compact Computer Algebra
(organiser: Elena Smirnova)
MathUI'14: Workshop on Mathematical User Interfaces
(organisers: Andrea Kohlhase, Paul Libbrecht)
OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)
Workshop on The Notion of Proof
(organisers: Jesse Alama, Reinhard Kahle)
ThEdu'14: Workshop on Theorem Provers Components for Educational
Software (organisers: Walther Neuper, Pedro Quaresma)
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas. The Conferences on Intelligent Computer Mathematics (CICM)
offer a venue for discussing these areas and their synergy.
CICM has been held annually as a joint meeting since 2008, colocating
related conferences and workshops to advance work in these subjects.
Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend
(Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen
(Germany 2012) and Bath (U.K. 2013).
This is a call for papers for CICM 2014, which will be held at the
University of Coimbra, 7-11 July 2014, following the 10th
International Workshop on Automated Deduction in Geometry.
The principal tracks of the conference will be:
Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: James Davenport
DML (Digital Mathematical Libraries)
Chair: Petr Sojka
MKM (Mathematical Knowledge Management)
Chair: Josef Urban
Systems and Projects
Chair: Alan Sexton
The local arrangements will be coordinated by the Local Arrangements
Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall
programme will be organised by the General Program Chair, Stephen Watt
(U. Western Ontario, Canada).
The proceedings of the conference will be published by Springer Verlag
as a volume in Lecture Notes in Artificial Intelligence (LNAI).
As in previous years, it is anticipated that there will be a number
co-located workshops, including one to mentor doctoral students giving
presentations.
Important dates
Conference submissions:
Abstract submission (extended): 14 March 2014
Submission deadline (extended): 14 March 2014
Reviews sent to authors: 4 April 2014
Rebuttals due: 8 April 2014
Notification of acceptance: 14 April 2014
Camera ready copies due: 25 April 2014
Work in progress and Doctoral Programme submissions:
Submission deadline: 28 April 2014
(Doctoral: Abstract+CV)
Notification of acceptance: 19 May 2014
Camera ready copies due: 26 May 2014
Conference: 7-11 July 2014
Tracks
================================================================
Track Calculemus: Symbolic Computation and Mechanised Reasoning
================================================================
Calculemus 2014 invites the submission of original research
contributions to be considered for publication and presentation at the
conference. Calculemus is a series of conferences dedicated to the
integration of computer algebra systems (CAS) and systems for
mechanised reasoning like interactive proof assistants (PA) or
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 mathematical assistant
systems that will be used routinely by mathematicians, computer
scientists and all others who need computer-supported mathematics in
their every day business.
All topics in the intersection of computer algebra systems and
automated reasoning systems are of interest for Calculemus. These
include but are not limited to:
Theory, design and implementation of interdisciplinary systems for
computer mathematics.
Case studies and applications that involve a mix of computation and
reasoning.
Case studies in formalization of mathematical theories.
Input languages, programming languages, types and constraint languages,
and modeling languages for mathematical assistant systems.
Homotopy type theory.
================================================================
Track DML: Digital Mathematical Libraries
================================================================
Mathematicians dream of a digital archive containing all validated
mathematical literature ever published, reviewed, properly linked, and
verified. It is estimated that the entire corpus of mathematical
knowledge published over the centuries does not exceed 100,000,000
pages, an amount easily manageable by current information
technologies.
The track objective is to provide a forum for the development of
math-aware technologies, standards, algorithms and formats for the
fulfillment of the dream of a global digital mathematical library
(DML). Computer scientists (D) and librarians of the digital age (L)
are especially welcome to join mathematicians (M) and discuss many
aspects of DML preparation.
Track topics are all topics of mathematical knowledge management and
digital libraries applicable in the context of DML building, including
the processing of mathematical knowledge expressed in scientific
papers in natural languages:
MathML, OpenMath, TeX and other mathematical content markup
languages
Web interfaces for DML content
================================================================
Track MKM: Mathematical Knowledge Management
================================================================
Mathematical Knowledge Management is an interdisciplinary field of
research in the intersection of mathematics, computer science, library
science, and scientific publishing. The objective of MKM is to develop
new and better ways of managing sophisticated mathematical knowledge,
based on innovative technology of computer science, the Internet, and
intelligent knowledge processing. MKM is expected to serve
mathematicians, scientists, and engineers who produce and use
mathematical knowledge; educators and students who teach and learn
mathematics; publishers who offer mathematical textbooks and
disseminate new mathematical results; and librarians and
mathematicians who catalog and organize mathematical knowledge.
The track is concerned with all aspects of mathematical knowledge
management. A non-exclusive list of important topics includes:
================================================================
Track Systems and Projects
================================================================
The Systems and Projects track of the Conferences on Intelligent
Computer Mathematics is a forum for presenting available systems and
new and ongoing projects in all areas and topics related to the CICM
conferences:
Last updated: Apr 19 2024 at 08:19 UTC