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 A25967FCEF for ; Tue, 21 Apr 2015 09:09:11 +0200 (CEST) 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: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) 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 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: A0CsAQDx9jVVmbm/YIZBGoNbXIMXtFkBjTpvgU+GBIFAOhIBAQEBAQEBEQEBAQEBCAsLBxQuhEQGQwIRNQIFIQIRHV+IEA03tGCUUQEBCAEBAQEegSGLU4JZJUkdglIvgRYFlSeGJIckhy2GUoI0DIFXbYEDgUEBAQE X-IPAS-Result: A0CsAQDx9jVVmbm/YIZBGoNbXIMXtFkBjTpvgU+GBIFAOhIBAQEBAQEBEQEBAQEBCAsLBxQuhEQGQwIRNQIFIQIRHV+IEA03tGCUUQEBCAEBAQEegSGLU4JZJUkdglIvgRYFlSeGJIckhy2GUoI0DIFXbYEDgUEBAQE X-IronPort-AV: E=Sophos;i="5.11,614,1422918000"; d="scan'208";a="135986835" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Apr 2015 09:09:10 +0200 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 180109FBB7_535F796B for ; Tue, 21 Apr 2015 07:09:10 +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 0FD549FBA3_535F796F for ; Tue, 21 Apr 2015 07:09:10 +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 mail.dfki.de (Postfix) with ESMTPSA id 011C9311DB; Tue, 21 Apr 2015 09:09:10 +0200 (CEST) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id CA70B268E33E; Tue, 21 Apr 2015 09:09:10 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20150421070910.CA70B268E33E@mbp-autexier.informatik.uni-bremen.de> Date: Tue, 21 Apr 2015 09:09:10 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2015 - Call for Work-in-Progress Papers Call for Work-in-Progress Papers Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA 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), and Coimbra (Portugal 2014). This is a (short version of the) call for Work-in-Progress papers for CICM 2015, which will be held in Washington, D.C., 13-17 July 2015. We solicit for papers which describe work in progress, recent developments, and other work of interest to our communities which does not yet have the maturity for archival proceedings. The full version of the CFP is available from the conference web page at http://cicm-conference.org/2015/cicm.php ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe Publicity chair is Serge Autexier. The local arrangements will be coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme will be organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). ********************************************************************** Important Dates ********************************************************************** Work-in-progress and Doctoral Programme submissions: Submission deadline: Full Work-in-Progress submission* 4 May 2015 Notification of acceptance: 25 May 2015 Camera ready copies due: 1 June 2015 Conference: 13-17 July 2015 * or for the Doctoral Programme: Abstract+CV More detailed information, e.g. on submission via EasyChair, can be found on http://cicm-conference.org/2015/cicm.php