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 2AF4E80175 for ; Thu, 15 Jun 2017 07:49:49 +0200 (CEST) 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 IronPort-PHdr: =?us-ascii?q?9a23=3A6e3NhReHw+MEcDLdPsQagc5RlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS4Yh7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM37nzZhdBzgqxVoBysvAB/z5LIbI2JKPZyYqHQcNUHTmRBRMZRUClBD5un?= =?us-ascii?q?b4QRFeoBMvhXo5PnqFsTsRuxGwatBOLxxT9SnXL5wKM60+cgEQ3cwQMvAc8FvH?= =?us-ascii?q?DJotrrLqcSXv66x7TUwDXec/NZxzj86InWfRA7pP2BW697f8TWyUkqDQzFj1OQ?= =?us-ascii?q?pJT7MDyPzeQMs3SU7+p6WuKukW4rsQZxoiKgxss0lobJh54aylXd+Splx4Y1I9?= =?us-ascii?q?O4R1BhYdG6Fptfqz+VO5FxQsM4TGFkoDg1xaActZGhYCcG0oknxx3ZZveacIaI?= =?us-ascii?q?+gruWPufLDp3nn5ofLOyiwyv/UWk1+HwTNS43VVKoyZdltTAqGoB2wLd58SbUP?= =?us-ascii?q?dw8Vut1SyS2w3c6uxJJ10/m7DBJJ472LEwk4IesUTdES/yn0X7lLSWeVs+9eSx?= =?us-ascii?q?7uToeLTmppuGO4BphAH+MaUultaiDusmKgQOXm6b9vqg1LD74EH0TrpHgucyn6?= =?us-ascii?q?TYqpzWOMAWqrOjDwNI0Ysu6w6zDzK839QZmXkHIkhFeBWCj4XxIFHBPur4Dfih?= =?us-ascii?q?jFi2ijhr2uzGMaPuA5XMMHfDiqzscqtz605fyQo/181Q6IxMBrEbPP3zQlPxtM?= =?us-ascii?q?DfDhIhLwO72ePnCNFk2oMaWGKPGbOZPbjJsV6I4+IvO/ODaJUUuDb7Mfgl5uTh?= =?us-ascii?q?gWU3mV8HLuGV2s4cYXW8W/BnOFmxYHz2g95HH31ZkBA5SbnxhUeNXHhaemq/T6?= =?us-ascii?q?Mx/Bk3BoGnS4vODsCWjaaO0W+SA4FbdmFLEBHfQj/Ta4yYVqJUO2qpKch7n2lc?= =?us-ascii?q?WA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BcAQCQHkJZmLm/YIZDGh4GDBgBBQELA?= =?us-ascii?q?YQPgQ2DdosLkGODCgGTHYIRLIVyBAKCVkAXAQEBAQEBAQEBAQESAQEBAQEICws?= =?us-ascii?q?GKC+CMyKCZwZFDQQrCgIFIQIRHYpwBAwxqxuCJotOAQEBAQYBAQEBASOBC4c3N?= =?us-ascii?q?oQogWmBIHCCCQwxMIIxBYs7kwyHLIwaghRVhHGDRoZ4igGKeiECgT51hXiBdHQ?= =?us-ascii?q?BhzuCPwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BcAQCQHkJZmLm/YIZDGh4GDBgBBQELAYQPgQ2DdosLkGO?= =?us-ascii?q?DCgGTHYIRLIVyBAKCVkAXAQEBAQEBAQEBAQESAQEBAQEICwsGKC+CMyKCZwZFD?= =?us-ascii?q?QQrCgIFIQIRHYpwBAwxqxuCJotOAQEBAQYBAQEBASOBC4c3NoQogWmBIHCCCQw?= =?us-ascii?q?xMIIxBYs7kwyHLIwaghRVhHGDRoZ4igGKeiECgT51hXiBdHQBhzuCPwEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,342,1493676000"; d="scan'208";a="278892192" 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; 15 Jun 2017 07:49:48 +0200 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 70DFE9F6D4_9421FFBB for ; Thu, 15 Jun 2017 05:49:47 +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 6C8F29F6D3_9421FFBF for ; Thu, 15 Jun 2017 05:49:47 +0000 (GMT) Received: from gigondas-5.fritz.box (x5ce62891.dyn.telefonica.de [92.230.40.145]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by lnv-91187.sb.dfki.de (Postfix) with ESMTPSA id 5AA749C; Thu, 15 Jun 2017 07:49:47 +0200 (CEST) Received: by gigondas-5.fritz.box (Postfix, from userid 501) id 4ECD4142F614; Thu, 15 Jun 2017 07:49:46 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20170615054946.4ECD4142F614@gigondas-5.fritz.box> Date: Thu, 15 Jun 2017 07:49:46 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2017 - Call for Participation / Posters / Work in Progress [Apologies for multiple copies] Call for Participation 10th Conference on Intelligent Computer Mathematics - CICM 2017 - 17-21 July 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 *** Accepted Papers *** The programme for CICM 2017, which will be held in Edinburgh is now available: http://www.cicm-conference.org/2017/cicm.php?event=&menu=talks *** Work in Progress Submissions *** We invite work-in-progress submissions, with the aim of providing a forum for the presentation of original work that is not yet suitable for submission as a full paper in a research track. This includes emerging trends work. Although length is not limited, we recommend 5 pages. Submit your paper by 23 June 2017 in the "Work in Progress” track via Easychair: https://easychair.org/conferences/?conf=cicm2017 Please add a keyword for the intended topical track MKM, DML, Calculemus or Systems and Projects. Author notification will be sent by 27 June. *** Posters Submissions *** In addition, we solicit for posters that will not be peer reviewed, but will be screened for relevance to the conference. You can submit an abstract for a poster by 23 June 2017 via EasyChair at: https://easychair.org/conferences/?conf=cicm2017. Author notification will be sent by 27 June. *** Invited Speakers *** - Alan Bundy (University of Edinburgh) - Przemysław Chojecki (Polish Academy of Sciences) - Grant Olney Passmore (Aesthetic Integration) **** Conference Tracks *** * Calculemus (Chair: Matthew England, University of Coventry) * Digital Mathematical Libraries (DML) (Chair: Olaf Teschke, Humboldt University of Berlin) * Mathematical Knowledge Management (MKM) (Chair: Florian Rabe, Jacobs University Bremen) * Systems & Projects (Chair: Osman Hasan, NUST Pakistan) * Doctoral Programme (Chair: Adnan Rashid, NUST Pakistan) *** Co-located Workshops *** * 12th Workshop on Mathematical User Interface (MathUI 2017) http://www.cicm-conference.org/2017/cicm.php?event=mathui * 28th OpenMath Workshop http://www.cicm-conference.org/2017/cicm.php?event=openmath *** Registration *** Early Registration: Until 30 June 2017 For more details, see: http://www.cicm-conference.org/2017/cicm.php?event=&menu=registration *** Local Information *** Information about the venue, accommodation, travel, visa requirements, etc. can be found at: http://dream.inf.ed.ac.uk/events/cicm2017 *** CICM 2017 Organisers *** * General Program Chair: Herman Geuvers (Radboud University) * Workshops Chair: Petros Papapanagiotou (University of Edinburgh) * Publicity Chair: Serge Autexier (DFKI Bremen) * Local arrangements: Jacques Fleuriot and Suzanne Perry (University of Edinburgh)