CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK

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

Call for participation

Registration deadline: 23 June 2013 ----------------------------------------------------------------------- Invited talks will be given 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

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

The global programme of the conference, tracks, and workshops are available via:

http://cicm-conference.org/2013/cicm.php?event=&menu=detailed-programme

Accepted Papers:

- Pedro Quaresma, Vanda Santos and Seifeddine Bouallegue. The Web Geometry Laboratory Project - Russell Bradford, James H. Davenport, Matthew England and David Wilson. Optimising Problem Formulation for Cylindrical Algebraic Decomposition - Matthew England, Russell Bradford, James H. Davenport and David Wilson. Understanding branch cuts of expressions - Christoph Lange, Colin Rowat and Manfred Kerber. The ForMaRE Project - Formal Mathematical Reasoning in Economics - Cezary Kaliszyk and Josef Urban. Automated Reasoning Service for HOL Light Corpora - Jónathan Heras and Ekaterina Komendantskaya. ML4PG: proof-mining in Coq - Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio and Rubén Sáenz. Verifying a platform for digital imaging: a multi-tool strategy - Dmitry Chebukov, Alexandr Izaak, Olga Misurina, Yury Pupyrev and Alexey Zhizhchenko. Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge - Chau Do and Eric Pauwels. Using MathML to Represent Units of Measurement for Improved Ontology Alignment - Miguel A. Abanades and Francisco Botana. A dynamic symbolic geometry environment for the computation of geometric loci and envelopes - Shahab Kamali and Frank Tompa. Structural Similarity Search For Mathematics Retrieval - Rui Hu and Stephen Watt. Determining Points on Handwritten Mathematical Symbols - Rein Prank. Software for evaluating relevance of steps in algebraic transformations - Eno Tonisson. When Students Compare Their Own Answers with the Answers of a Computer Algebra System - Carst Tankink, Cezary Kaliszyk, Josef Urban and Herman Geuvers. Formal Mathematics on Display: A Wiki for Flyspeck - Michael Kohlhase, Felix Mance and Florian Rabe. A Universal Machine for Biform Theory Graphs - Florian Rabe. The MMT API: A Generic MKM System - William Farmer. The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation - Paul Libbrecht. Escaping the Trap of too Precise Topic Queries - Bruno Barras, Hugo Herbelin, Lourdes Del Carmen González Huesca, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel and Burkhart Wolff. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems - Christoph Lange, Marco Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory - Deyan Ginev and Bruce Miller. LaTeXML 2012 - A Year of LaTeXML - Xavier Allamigeon, Stéphane Gaubert, Victor Magron and Benjamin Werner. Certification of Bounds of Non-linear Functions: the Templates Method - Bruce Miller. 3 Years of DLMF on the Web; Math & Search - Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic and Akiko Aizawa. A hybrid approach for semantic enrichment of MathML mathematical expressions - Steven Obua, Mark Adams and David Aspinall. Capturing Hiproofs in HOL Light - Ulf Schöneberg and Wolfram Sperber. Text analysis in mathematics - the DeLiVerMATH project - Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel and Wolfram Sperber. swMATH - a new service for mathematics software - Christoph Lüth and Martin Ring. A Web Interface for Isabelle: The Next Generation - Michal Růžička, Petr Sojka and Vlastimil Krejčíř. Towards Machine-Actionable Modules of a Digital Mathematics Library

Registration is online via

http://cicm-conference.org/2013/cicm.php?event=&menu=registration