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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5921C7FB13 for ; Tue, 2 Dec 2014 19:09:57 +0100 (CET) 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: AtEDAJH/fVSGYL+5nGdsb2JhbABbg1lZgwW0AAGNZIIihiOBJhYBAQEBAREBAQEBAQgLCQkULoQmBkMCETUCBRMOAhEdRIhABAm+Z4ELlloBAQEBAQUBAQEBAQEBG4Eri3mCXgsRAVCCfDSBHwWFfI8jhmaBLYM4gl2PcoFqboENgToBAQE X-IPAS-Result: AtEDAJH/fVSGYL+5nGdsb2JhbABbg1lZgwW0AAGNZIIihiOBJhYBAQEBAREBAQEBAQgLCQkULoQmBkMCETUCBRMOAhEdRIhABAm+Z4ELlloBAQEBAQUBAQEBAQEBG4Eri3mCXgsRAVCCfDSBHwWFfI8jhmaBLYM4gl2PcoFqboENgToBAQE X-IronPort-AV: E=Sophos;i="5.07,502,1413237600"; d="scan'208";a="91411364" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 02 Dec 2014 19:09:56 +0100 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id BF6B7C6950_47E0073B for ; Tue, 2 Dec 2014 18:09:55 +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 B82C19C38E_47E0073F for ; Tue, 2 Dec 2014 18:09:55 +0000 (GMT) Received: from gigondas.local (f050186194.adsl.alicedsl.de [78.50.186.194]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.dfki.de (Postfix) with ESMTPSA id 92182311C4; Tue, 2 Dec 2014 19:09:55 +0100 (CET) Received: by gigondas.local (Postfix, from userid 501) id EF09A24300D4; Tue, 2 Dec 2014 19:09:54 +0100 (CET) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20141202180954.EF09A24300D4@gigondas.local> Date: Tue, 2 Dec 2014 19:09:54 +0100 (CET) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2015: Call for Workshops Call for Workshop Proposals CICM 2015 - Conference on Intelligent Computer Mathematics July 13-17, 2015 The George Washington University, Washington, D.C , USA http://www.cicm-conference.org/2015 ---------------------------------------------------------------------- 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 Conference 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), Bath (U.K. 2013) and Coimbra (Portugal, 2014). This is a call for proposals for workshops to be held at CICM 2015, which will be held in Washington D.C. (USA), July 13-17 next year. The principal tracks of the 2015 meeting will be Calculemus (Symbolic Computation and Mechanised Reasoning) DML (Towards a Digital Mathematics Library) MKM (Mathematical Knowledge Management) Systems and Data 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 The Notion of Proof Proposals for workshops to be held at CICM 2015 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. 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@cs.bham.ac.uk for consideration by the CICM 2015 organizers: Local Organization Chairs: Bruce Miller (NIST) Abdou Youssef (GWU, USA) General Program Chair: Manfred Kerber (U. Birmingham, UK) Calculemus Track Chair: Jacques Carette (McMaster U., Canada) DML Track Chair: Volker Sorge (U. Birmingham, UK) MKM Track Chair: Cezary Kaliszyk (U. Innsbruck, Austria) System & Data Chair: Florian Rabe (JUB, Germany) Workshop Chair: Serge Autexier (DFKI, Germany) Important dates: Deadline for proposal submissions: January 23, 2015 Acceptance/rejection notification: February 4, 2015 Workshop dates: July 13-17, 2015 ----------------------------------------------------------------------