From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0E836800DB for ; Fri, 10 Mar 2017 17:26:39 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=serge.autexier@dfki.de; spf=Pass smtp.mailfrom=serge.autexier@dfki.de; spf=None smtp.helo=postmaster@sea-mail.dfki.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=pra; client-ip=134.96.191.185; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of serge.autexier@dfki.de designates 134.96.191.185 as permitted sender) identity=mailfrom; client-ip=134.96.191.185; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: =?us-ascii?q?A0BhAAAD08JYmLm/YIZdHAEBBAEBCgEBh?= =?us-ascii?q?DKEaooOc5M/AZBGgg+CDiaFfIJDPxgBAgEBAQEBAQETAQEBAQEICwsGKC+FNAU?= =?us-ascii?q?GQwIRLQgCBRoHAhEdHUKJZQ6xVoImimsBAQEBBgEBAQEBI4ELi24Bgl4lgxoug?= =?us-ascii?q?jEFiRqTIpIrhTeFIoZYjx+EIR+BO1iFNQQlgUuIUgEkB4IQAQEB?= X-IPAS-Result: =?us-ascii?q?A0BhAAAD08JYmLm/YIZdHAEBBAEBCgEBhDKEaooOc5M/AZB?= =?us-ascii?q?Ggg+CDiaFfIJDPxgBAgEBAQEBAQETAQEBAQEICwsGKC+FNAUGQwIRLQgCBRoHA?= =?us-ascii?q?hEdHUKJZQ6xVoImimsBAQEBBgEBAQEBI4ELi24Bgl4lgxougjEFiRqTIpIrhTe?= =?us-ascii?q?FIoZYjx+EIR+BO1iFNQQlgUuIUgEkB4IQAQEB?= X-IronPort-AV: E=Sophos;i="5.36,141,1486422000"; d="scan'208";a="264064238" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Mar 2017 17:25:38 +0100 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 0F3C79C4D3_8C2D381B for ; Fri, 10 Mar 2017 16:25:37 +0000 (GMT) Received: from lnv-91187.sb.dfki.de (lnv-91187.sb.dfki.de [134.96.191.187]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by sea-mail.dfki.de (Sophos Email Appliance) with ESMTPS id D6A009C4CF_8C2D380F for ; Fri, 10 Mar 2017 16:25:36 +0000 (GMT) Received: from mbp-autexier.informatik.uni-bremen.de (mbp-autexier.informatik.uni-bremen.de [134.102.204.169]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by lnv-91187.sb.dfki.de (Postfix) with ESMTPSA id CB6646F; Fri, 10 Mar 2017 17:25:36 +0100 (CET) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id 9E29111264D2; Fri, 10 Mar 2017 17:25:36 +0100 (CET) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20170310162536.9E29111264D2@mbp-autexier.informatik.uni-bremen.de> Date: Fri, 10 Mar 2017 17:25:36 +0100 (CET) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Second Call for Papers 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- NEW * Invited Speakers: Alan Bundy (University of Edinburgh) and Grant Olney Passmore (University of Cambridge) ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), Washington DC (USA 2015) and Bialystok (Poland 2016). This is a call for papers for CICM 2017, which will be held in Edinburgh, Scotland, July 17-21, 2017. CICM 2017 also invites work-in- progress papers. The principal tracks of the conference will be: * Track: Calculemus (chair: Matthew England) All topics in the intersection of computer algebra systems and automated reasoning systems including: - Automated theorem proving in computer algebra systems. - Computer algebra and symbolic computation in 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 that include non-trivial computations. - Representation of mathematics in computer algebra systems. - Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke) All topics related to the formation of a Global Digital Mathematics Library (GDML) network, ranging from experiences from existing DMLs, policies and standards facilitating interoperability, to development and integration of new techniques for content creation, preservation, enhancement and retrieval of the corpus, including: - DML creation and maintenance (content aggregation, validation, curation, enhancement). - DML architecture and representations (organization, workflows, policies, standards). - DML access and applications (retrieval, interfaces, interoperability). - DML collections and systems (experiences from various existing DMLs). * Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe) - Knowledge representation using, e.g., formal logics, computational systems, narrative document formats, or databases - Solutions to create, store, disseminate, discover, or manipulate mathematical knowledge - Corpora of knowledge inlcuding documents, theories, theorems, proofs, models, algorithms, exercises, or examples - Methods, systems, frameworks, case studies, challenges, benchmarks, or applications for mathematical knowledge - Comparisons, evaluations, or integrations of MKM solutions * Track: Systems & Projects (chair: Osman Hasan) - Systems: Stand-alone; plugins, libraries, or extensions of existing systems; or integrations of existing systems - Data: Formalizations; harvests or new processing of existing data; or case studies, test cases, or benchmark suites for systems - Projects: finished, ongoing or new - Survey papers * Track: Doctoral Programme (chair: TBD) The overall programme is organized by the General Program Chair Herman Geuvers. The local arrangements will be coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. We plan to have proceedings of the conference as in previous years with Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). *Important Dates* Conference submissions - Abstract submission deadline: 15. March 2017 - Submission deadline: 22. March 2017 - Reviews sent to authors: 26. April 2017 - Rebuttals due: 30. April 2017 - Notification of acceptance: 12. May 2017 - Camera ready copies due: 26. May 2017 - Conference: 17.-21. July 2017 Workshop Proposals - Submission deadline: 10. February 2017 - Notification of acceptance: 15. February 2017 More details on the conference are available from http://www.cicm-conference.org/2017