Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Conf. Intelligent Computer Mathematics (CICM 2...


view this post on Zulip Email Gateway (Aug 19 2022 at 10:14):

From: Makarius <makarius@sketis.net>
CICM 2013 - Conferences on Intelligent Computer Mathematics
July 8-12, 2013 at University of Bath, Bath, UK

http://www.cicm-conference.org/2013/cicm.php

2nd Call for Papers



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 offers a
venue for discussing these areas and their synergy.

The conference will take place at the University of Bath
(www.bath.ac.uk), with James Davenport as the local organiser. It
consists of four tracks:

Calculemus
Chair: Wolfgang Windsteiger
Digital Mathematical Libraries (DML)
Chair: Petr Sojka
Mathematical Knowledge Management (MKM)
Chair: David Aspinall
Systems and Projects
Chair: Christoph Lange

As in previous years, there will be a Doctoral Programme for
presentations by Doctoral students.

The overall programme will be organised by the General Program Chair
Jacques Carette.


Important dates


Abstract submission: 1 March 2013
Submission deadline: 8 March 2013
Reviews sent to authors: 5 April 2013
Rebuttals due: 8 April 2013
Notification of acceptance: 14 April 2013
Camera ready copies due: 26 April 2013
Conference: 8-12 July 2013


Tracks


==========
Calculemus
==========

Calculemus 2013 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:

===
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:

* 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

====================
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 developments and
trends within the CICM community as well as to exchange ideas between
developers and introduce systems to an audience of potential users.


Submission Instructions


Submissions to the research tracks must not exceed 15 pages and will
be reviewed 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.

System descriptions and projects descriptions should be 2-4 pages and
should present

Project presentations should describe

Presentations of new projects should mention relevant previous work
and include a roadmap that outlines concrete steps. All submissions
should contain links to demos, downloadable systems, or project
websites.

Accepted conference submissions from all tracks is intended to be
published as a vo
[message truncated]


Last updated: Mar 29 2024 at 08:18 UTC