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
Final Call for Work-in-Progress Papers
----------------------------------------------------------------------
* Final call for Work-In-Progress Papers on any CICM topic
* Submissions 5-10 pages, for poster/talk presentations
* Deadline 7th June, notification 20th June
* Invited Talks by
Patrick Ion (Mathematical Reviews, American Mathematical
Society, USA)
Assia Mahboubi (École Polytechnique and INRIA/Microsoft
Research Joint Centre, France)
Ursula Martin (Queen Mary, University of London, UK)
* Accepted regular papers are online on the website
* Co-Located Workshops:
- MathUI'13: Mathematical User Interfaces
- OpenMath Workshop 2013
- PLMMS'13: Programming Languages for Mechanized Mathematics Systems
- THedu'13: TP Components for Educational Software
----------------------------------------------------------------------
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 is organised by the General Program Chair
Jacques Carette.
----------------------------------------------------------------------
Important dates
----------------------------------------------------------------------
WiP paper submission deadline : 7 June 2013
WiP paper Notification of acceptance : 20 June 2013
WiP Camera ready copies due : 5 July 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:
* Automated theorem proving in computer algebra systems.
* Computer algebra in theorem proving systems.
* Adding reasoning capabilities to computer algebra systems.
* Adding computational capabilities to theorem proving systems.
* 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.
* Representation of mathematics in computer algebra systems.
* Theory exploration techniques.
* Combining methods of symbolic computation and formal deduction.
* Input languages, programming languages, types and constraint languages,
and modeling languages for mathematical assistant systems.
* Homotopy type theory.
* Infrastructure for mathematical services.
===
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:
* Math-aware text mining (math mining) and MSC classification
* Math-aware representations of mathematical knowledge
* Math-aware computational linguistics and corpora
* Math-aware tools for [meta]data and fulltext processing
* Math-aware OCR and document analysis
* Math-aware information retrieval
* Math-aware indexing and search
* Authoring languages and tools
* MathML, OpenMath, TeX and other mathematical content standards
* Web interfaces for DML content
* Mathematics on the web, math crawling and indexing
* Math-aware document processing workflows
* Archives of written mathematics
* DML management, business models
* DML rights handling, funding, sustainability
* DML content acquisition, validation and curation
===
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:
* Deduction and Computer Algebra (Calculemus)
* Digital Mathematical Libraries (DML)
* Mathematical Knowledge Management (MKM)
* Artificial Intelligence and Symbolic Computation (AISC)
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
----------------------------------------------------------------------
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.
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 online with CEUR-WS.org.
WiP papers should be prepared in LaTeX and formatted according to the
requirements of 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.
Electronic submission is done through easychair
http://www.easychair.org/conferences/?conf=cicm2013
----------------------------------------------------------------------
Programme Committee
----------------------------------------------------------------------
Akiko Aizawa, NII, The University of Tokyo, Japan
Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal
Rob Arthan, Queen Mary University of London, UK
Andrea Asperti, University of Bologna, Italy
David Aspinall, University of Edinburgh, UK
Jeremy Avigad, Carnegie Mellon University, US
Thierry Bouche, Université Joseph Fourier (Grenoble), France
Jacques Carette, McMaster University, Canada
John Charnley, Department of Computing, Imperial College London, UK
Janka Chlebíková, School of Computing, University of Portsmouth, UK
Simon Colton, Department of Computing, Imperial College, London, UK
Leo Freitas, Newcastle University, UK
Deyan Ginev, Jacobs University Bremen, Germany
Gudmund Grov, Heriot-Watt University, Edinburgh, UK
Thomas Hales, University of Pittsburgh, US
Yannis Haralambous, Télécom Bretagne, France
Jónathan Heras, University of Dundee, UK
Hoon Hong, North Carolina State University, US
Predrag Janičić, University of Belgrade, Serbia
Cezary Kaliszyk, University of Innsbruck, Austria
Manfred Kerber, University of Birmingham, UK
Adam Kilgarriff, Lexical Computing Ltd, UK
Andrea Kohlhase, Jacobs University Bremen, Germany
Michael Kohlhase, Jacobs University Bremen, Germany
Temur Kutsia, RISC Institute, JKU Linz, Austria
Christoph Lange, University of Birmingham, UK
Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany
Christoph Lüth, DFKI Bremen, Germany
Till Mossakowski, DFKI Bremen, Germany
Magnus O. Myreen, University of Cambridge, UK
Florian Rabe, Jacobs University Bremen, Germany
Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic
Carsten Schuermann, IT University of Copenhagen, Denmark
Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic
Hendrik Tews, TU Dresden, Germany
Frank Tompa, University of Waterloo, Canada
Josef Urban, Radboud University, Netherlands
Stephen Watt, University of Western Ontario, Canada
Makarius Wenzel, Université Paris-Sud 11, France
Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria
Richard Zanibbi, Rochester Institute of Technology, US
--
Dr. Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/
Research Department Cyber-Physical Systems
MZH, Room 3120 Phone: +49 421 218 59834
Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313
----------------------------------------------------------------------
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 Final Call for
Work-in-Progress Papers
----------------------------------------------------------------------
* Final call for Work-In-Progress Papers on any CICM topic *
Submissions 5-10 pages, for poster/talk presentations * Deadline
7th June, notification 20th June * Invited Talks by Patrick Ion
(Mathematical Reviews, American Mathematical Society, USA) Assia
Mahboubi (École Polytechnique and INRIA/Microsoft Research Joint
Centre, France) Ursula Martin (Queen Mary, University of London,
UK) * Accepted regular papers are online on the website *
Co-Located Workshops: - MathUI'13: Mathematical User Interfaces -
OpenMath Workshop 2013 - PLMMS'13: Programming Languages for
Mechanized Mathematics Systems - THedu'13: TP Components for
Educational Software
----------------------------------------------------------------------
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 is organised by the General Program Chair Jacques
Carette.
----------------------------------------------------------------------
Important dates
----------------------------------------------------------------------
WiP paper submission deadline : 7 June 2013 WiP paper Notification
of acceptance : 20 June 2013 WiP Camera ready copies due : 5 July
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: * Automated theorem proving in computer algebra
systems. * Computer algebra in theorem proving systems. * Adding
reasoning capabilities to computer algebra systems. * Adding
computational capabilities to theorem proving systems. * 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. * Representation of mathematics in computer
algebra systems. * Theory exploration techniques. * Combining
methods of symbolic computation and formal deduction. * Input
languages, programming languages, types and constraint languages,
and modeling languages for mathematical assistant systems. *
Homotopy type theory. * Infrastructure for mathematical services.
=== 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: * Math-aware text mining (math mining)
and MSC classification * Math-aware representations of mathematical
knowledge * Math-aware computational linguistics and corpora *
Math-aware tools for [meta]data and fulltext processing *
Math-aware OCR and document analysis * Math-aware information
retrieval * Math-aware indexing and search * Authoring languages
and tools * MathML, OpenMath, TeX and other mathematical content
standards * Web interfaces for DML content * Mathematics on the
web, math crawling and indexing * Math-aware document processing
workflows * Archives of written mathematics * DML management,
business models * DML rights handling, funding, sustainability *
DML content acquisition, validation and curation === 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: * Deduction and Computer Algebra (Calculemus) *
Digital Mathematical Libraries (DML) * Mathematical Knowledge
Management (MKM) * Artificial Intelligence and Symbolic Computation
(AISC) 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
----------------------------------------------------------------------
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. 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
online with CEUR-WS.org. WiP papers should be prepared in LaTeX and
formatted according to the requirements of 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. Electronic
submission is done through easychair
http://www.easychair.org/conferences/?conf=cicm2013
----------------------------------------------------------------------
Programme Committee
----------------------------------------------------------------------
Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama,
CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan,
Queen Mary University of London, UK Andrea Asperti, University of
Bologna, Italy David Aspinall, University of Edinburgh, UK Jeremy
Avigad, Carnegie Mellon University, US Thierry Bouche, Université
Joseph Fourier (Grenoble), France Jacques Carette, McMaster
University, Canada John Charnley, Department of Computing, Imperial
College London, UK Janka Chlebíková, School of Computing,
University of Portsmouth, UK Simon Colton, Department of Computing,
Imperial College, London, UK Leo Freitas, Newcastle University, UK
Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov,
Heriot-Watt University, Edinburgh, UK Thomas Hales, University of
Pittsburgh, US Yannis Haralambous, Télécom Bretagne, France
Jónathan Heras, University of Dundee, UK Hoon Hong, North Carolina
State University, US Predrag Janičić, University of Belgrade,
Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred
Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical
Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen,
Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur
Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange,
University of Birmingham, UK Paul Libbrecht, Martin Luther
University Halle-Wittenberg, Germany Christoph Lüth, DFKI Bremen,
Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen,
University of Cambridge, UK Florian Rabe, Jacobs University Bremen,
Germany Jiří Rákosník, Institute of Mathematics, Academy of
Sciences, Czech Republic Carsten Schuermann, IT University of
Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of
Informatics, Czech Republic Hendrik Tews, TU Dresden, Germany Frank
Tompa, University of Waterloo, Canada Josef Urban, Radboud
University, Netherlands Stephen Watt, University of Western
Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France
Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Richard
Zanibbi, Rochester Institute of Technology, US -- Dr. Serge
Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/
Research Department Cyber-Physical Systems MZH, Room 3120 Phone:
+49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218
98 59834
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!: Trippstadter
Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang
Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans
A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313
----------------------------------------------------------------------