From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F22607EE25 for ; Fri, 7 Jun 2013 08:31:57 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=pra; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=mailfrom; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@sea-mail.dfki.de) identity=helo; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="postmaster@sea-mail.dfki.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMAAPJ8sVGGYL+5nGdsb2JhbAA/GoM5gmJaqTgBkX1+Fg4BAQEBAQgLCQkUKII2EQZFERkcAgUhAhEdiFEMMo4DmzyRZoEmjD8ZgTSCTjNhA5c+jBiHAYE5 X-IPAS-Result: ApMAAPJ8sVGGYL+5nGdsb2JhbAA/GoM5gmJaqTgBkX1+Fg4BAQEBAQgLCQkUKII2EQZFERkcAgUhAhEdiFEMMo4DmzyRZoEmjD8ZgTSCTjNhA5c+jBiHAYE5 X-IronPort-AV: E=Sophos;i="4.87,820,1363129200"; d="scan'208";a="17082728" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 07 Jun 2013 08:31:57 +0200 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 6055CA67ED_1B17E5CB for ; Fri, 7 Jun 2013 06:31:56 +0000 (GMT) Received: from mail.dfki.de (lnv-104.sb.dfki.de [134.96.191.146]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by sea-mail.dfki.de (Sophos Email Appliance) with ESMTPS id 57B02A4E4F_1B17E5CF for ; Fri, 7 Jun 2013 06:31:56 +0000 (GMT) Received: from mbp-autexier.informatik.uni-bremen.de (mbp-autexier.informatik.uni-bremen.de [134.102.218.176]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.dfki.de (Postfix) with ESMTPSA id 38000310AE; Fri, 7 Jun 2013 08:31:56 +0200 (CEST) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id 0619717E7940; Fri, 7 Jun 2013 08:31:56 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20130607063156.0619717E7940@mbp-autexier.informatik.uni-bremen.de> Date: Fri, 7 Jun 2013 08:31:56 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] Call for Participation CICM 2013 8-12 July 2013, Registration deadline 23rd June 2013 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