From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 668927F2AA for ; Wed, 19 Dec 2012 22:00:26 +0100 (CET) Received-SPF: None (mail1-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=mail1-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-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=mail1-smtp-roc.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-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=mail1-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: AswCAIgq0lCGYL+5kWdsb2JhbABEq1QBkigWDgEBAQEUEhQngkIhKAIRKxEwAh9EiBMECKQwlBSMTQuBD4JIYQOWCZM+gWw X-IronPort-AV: E=Sophos;i="4.84,318,1355094000"; d="scan'208";a="186926279" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 19 Dec 2012 22:00:25 +0100 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id EC2C79FFE9_D22AE8B for ; Wed, 19 Dec 2012 21:00:24 +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 CC2649FF56_D22AE8F for ; Wed, 19 Dec 2012 21:00:24 +0000 (GMT) Received: from gigondas.localhost (g226225222.adsl.alicedsl.de [92.226.225.222]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.dfki.de (Postfix) with ESMTPSA id 9580D31117; Wed, 19 Dec 2012 22:00:24 +0100 (CET) Received: by gigondas.localhost (Postfix, from userid 501) id 3B1FEFD7722; Wed, 19 Dec 2012 22:00:24 +0100 (CET) To: caml-list@inria.fr Cc: serge.autexier@dfki.de Message-Id: <20121219210024.3B1FEFD7722@gigondas.localhost> Date: Wed, 19 Dec 2012 22:00:24 +0100 (CET) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013) CICM 2013 - Conference on Intelligent Computer Mathematics July 8-12, 2012 at the University of Bath, UK http://www.cicm-conference.org/2013 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. Workshop proposals for CICM 2013 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 conference fees will be levied on a per-day basis, so that 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@jacobs-university.de for consideration by the CICM 2013 organizers: James Davenport (University of Bath, UK): Conference Chair Jacques Carette (McMaster University, Canada): Program Chair David Aspinall (University of Edinburgh, Scotland): MKM Track Chair Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair Petr Sojka (Masaryk University, CZ): DML Track Chair Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair Important dates: Deadline for proposal submissions: January 28, 2013 Acceptance/rejection notification: February 8, 2013 Workshop dates: July 8-12, 2013 -----------------------------------------------------------------------