Email Gateway (Aug 19 2022 at 14:31): Email Gateway (Aug 19 2022 at 14:31):From: serge.autexier@dfki.de
CICM 2014 - Conferences on Intelligent Computer Mathematics
7-11 July 2014 at the University of Coimbra, Portugal
http://www.cicm-conference.org/2014
* * * Announcement of Invited Speakers * * *
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. CICM 2014 offers a venue to discuss these areas and their
synergy.
The conference will take place at the University of Coimbra, Portugal,
and consists of four tracks:
Calculemus, Chair: James Davenport
Digital Mathematical Libraries (DML), Chair: Petr Sojka
Mathematical Knowledge Management (MKM), Chair: Josef Urban
Systems and Projects, Chair: Alan Sexton
As in previous years, there will be a Doctoral Programme for the
mentoring of Doctoral students and several co-located workshops.
All of these are now accepting contributions. Please see the web site
for their calls for submissions.
The overall programme is organised by the General Program Chair
Stephen Watt.
CICM Invited Talks
Yves Bertot, INRIA
A naive view of homotopy type theory and its relation to
the calculus of constructions
Jaime Carvalho e Silva, U Coimbra
What international studies say about the importance and limitations
of using computers to teach mathematics in secondary schools
Antonio Leal Duarte, U Coimbra [Joint Speaker with ADG 2014]
Teaching Tiles
Herbert Van de Sompel, Los Alamos Natioanl Laboratory
Towards robust hyperlinks for web-based scholarly communication
Eric Weisstein, Wolfram|Alpha
Computable data, mathematics, and digital libraries
in Mathematica and Wolfram|Alpha
Work-in-Progress Call-for-Papers
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. Papers may be on any CICM topic,
including those from Calculemus, DML, MKM and Systems and Projects.
Accepted work-in-progress papers will be presented at the conference
as short teaser talks and as posters. The work-in-progress
proceedings will be published digitally in the CEUR Workshop
Proceedings series (CEUR-WS.org).
WiP papers should be prepared in LaTeX and formatted according
Springer's LNCS series (the corresponding style files can be
downloaded from http://www.springer.de/comp/lncs/authors.html).
Papers should be between 5 and 10 pages in length.
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.
Work-in-Progress Submission Particulars
WiP paper submission deadline : 1 June 2014
WiP paper notification of acceptance : 15 June 2014
WiP Camera ready copies due : 20 June 2014
Conference : 7-11 July 2014
Electronic submission is done through Easychair at
https://www.easychair.org/conferences/?conf=cicm2014wip
Note that this is different from the main CICM submission page.
==========
Calculemus
==========
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.
===
DML
===
Mathematicians dream of a digital archive containing all peer-reviewed
mathematical literature ever published, properly linked, validated 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.
Track objective is to provide a forum for development of math-aware
technologies, standards, algorithms and formats towards fulfillment of
the dream of global digital mathematical library (DML). Computer
scientists (D) and librarians of 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 --
processing of math knowledge expressed in scientific papers in natural
languages, namely:
===
MKM
===
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 conference is concerned with all aspects of mathematical knowledge
management. A non-exclusive list of important topics includes:
====================
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:
The track aims to provide an overview of the latest developm
[message truncated]
Last updated: Apr 24 2024 at 08:20 UTC