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 B5BCD7EF74 for ; Mon, 11 Nov 2013 22:50:23 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of autexier@mbp-autexier.informatik.uni-bremen.de) identity=pra; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="autexier@mbp-autexier.informatik.uni-bremen.de"; x-sender="autexier@mbp-autexier.informatik.uni-bremen.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of autexier@mbp-autexier.informatik.uni-bremen.de) identity=mailfrom; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="autexier@mbp-autexier.informatik.uni-bremen.de"; x-sender="autexier@mbp-autexier.informatik.uni-bremen.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="autexier@mbp-autexier.informatik.uni-bremen.de"; x-sender="postmaster@sea-mail.dfki.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai8DADfMgFKGYL+5nGdsb2JhbABZgz+DR6l3AZIngTgWDgEBAQEBCAsJCRQogi0CGgZDAhErCgIFIQIRGQREiAENql+BEpI+gSmMaguBSYJyNYEQA5VAgk6VMoFw X-IPAS-Result: Ai8DADfMgFKGYL+5nGdsb2JhbABZgz+DR6l3AZIngTgWDgEBAQEBCAsJCRQogi0CGgZDAhErCgIFIQIRGQREiAENql+BEpI+gSmMaguBSYJyNYEQA5VAgk6VMoFw X-IronPort-AV: E=Sophos;i="4.93,677,1378850400"; d="scan'208";a="34930997" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 11 Nov 2013 13:27:21 +0100 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id DA558AFF33_280CD28B for ; Mon, 11 Nov 2013 12:27:20 +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 CC363AFF2D_280CD28F for ; Mon, 11 Nov 2013 12:27:20 +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 AEB02310C2; Mon, 11 Nov 2013 13:27:20 +0100 (CET) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id 729191D0F63D; Mon, 11 Nov 2013 13:27:20 +0100 (CET) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20131111122720.729191D0F63D@mbp-autexier.informatik.uni-bremen.de> Date: Mon, 11 Nov 2013 13:27:20 +0100 (CET) From: autexier@mbp-autexier.informatik.uni-bremen.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2014) CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 *** Call for Workshop Proposals *** ---------------------------------------------------------------------- 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 (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for proposals for workshops to be held at CICM 2014, which will be held in Coimbra (Portugal), July 7-11 next year. The principal tracks of the 2014 meeting will be Calculemus (Symbolic Computation and Mechanised Reasoning) DML (Towards a Digital Mathematics Library) MKM (Mathematical Knowledge Management) Systems and Projects Some of the workshops that have been held at past CICM meetings are: Automated Reasoning: Bridging the Gap between Theory and Practice Compact Computer Algebra Empirically Successful Automated Reasoning for Mathematics Intelligent Proof Search Mathematical user Interfaces OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems SCIEnce Proposals for workshops to be held at CICM 2014 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. Fees for conference participants will be levied on a per-day basis, so workshop-only participation is possible. The CICM organizers plan to make available a small amount towards partial reimbursement for travel expenses of invited speakers. Also, CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers@lists.jacobs-university.de for consideration by the CICM 2014 organizers: Local Organization Chair: Pedro Quaresma (U. Coimbra, Portugal) General Program Chair: Stephen Watt (U. Western Ontario, Canada) Calculemus Track Chair: James Davenport (U. Bath, UK) DML Track Chair: Petr Sojka (Masaryk U., CZ) MKM Track Chair: Josef Urban (Radboud U., NL) System & Projects Track Chair: Alan Sexton (U. Birmingham, UK) Important dates: Deadline for proposal submissions: January 17, 2014 Acceptance/rejection notification: February 3, 2014 Workshop dates: July 7-11, 2014 ----------------------------------------------------------------------