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 D3CFF7F04E for ; Tue, 4 Apr 2017 11:39:35 +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=3Adz3IuBE2kq7v1pVujXUrQ51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zp8SwAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOSAk/m7LicJ+gqJVrQm9pxBj34LYfJ2ZOOZ8c67bYNgURXBBXsFUVyFZGYOz?= =?us-ascii?q?cZEPD+UfMupCtYb9ukcOogWxBAmtGuzv0CRFiWL43a050uQtCxzJ0xI9FN4KrX?= =?us-ascii?q?rbss/1NKgMXuuo0KTI0CnDYO1Z2Df89ofIaBUtrPeRVrx+dsrRzFMgFwLDjliI?= =?us-ascii?q?tYPlPi+a1uEUv2eH6OpgU+yvhHA9qw5vpDig2tkjhpPOhoIPxVDI7Tl2z5goJd?= =?us-ascii?q?2iUUJ6b8WkHIFXtyGAOIt7RN4pTWJwuCsi17ELt5G2cDIOxZkm3RLTdviKf5WS?= =?us-ascii?q?7h7+V+ucIS90iG9rdb+wnRq+7FSsxvPmWsWqzFpHoTBJnsTNu30J0RHY99KJRe?= =?us-ascii?q?Fn/ki73DaCzwDT5f9AIUAzjafbMIAuzaQpmpoWq0vDHyv2lF/rg6+YdUUk+/Kk?= =?us-ascii?q?5Pn5bbn+p5+cMZF7ih3mP6gzlMGyDv40PwwPUmSB5Oix0KDv8VfkTLhJjvA6iq?= =?us-ascii?q?zZv4rbJcQfqK65GQhV0oM75hakETimytsYkmcdIF1fZRKHk5bmOl7PIP/mF/ey?= =?us-ascii?q?mEmjkDlox/DHJLHuH4vCImDZkLj9ZbZ991JcyA0rwN9D/Z1UD7UBLOv3Wk/wr9?= =?us-ascii?q?zYEgQ0Mxe0wubiENVyzJkSWWOJAq+DMaPdq0WE5uw1I7rEWIhAsz/4L70h5uXy?= =?us-ascii?q?pX4/g14UO6ezjrUNb3XtBfl8LEjfaGfwj8cAHH0isgQ9TarmhRXCajNJaHv6dr?= =?us-ascii?q?8g6yE6BZjnXtSLfZyknLHUhHTzJZZRfG0TUl0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BKAQCeaeNYmLm/YIZcHQwGGQwGgn+BD?= =?us-ascii?q?IELg2OLBZNIAZR9JoV8gztDFAEBAQEBAQEBAQEBEgEBAQEBCAsLBigvgjMggmY?= =?us-ascii?q?GQwIRNQIFGgcCER1EG4lzDqxne4ImiloBAQEBAQUBAQEBAQEigQuLboJfCxEBC?= =?us-ascii?q?IMaLoIxBYkjk0qBVYUoi0aCCoM1gXmDMYZgj06EJzaBHghcLIUPBCWBTHOGWA4?= =?us-ascii?q?XghcBAQE?= X-IPAS-Result: =?us-ascii?q?A0BKAQCeaeNYmLm/YIZcHQwGGQwGgn+BDIELg2OLBZNIAZR?= =?us-ascii?q?9JoV8gztDFAEBAQEBAQEBAQEBEgEBAQEBCAsLBigvgjMggmYGQwIRNQIFGgcCE?= =?us-ascii?q?R1EG4lzDqxne4ImiloBAQEBAQUBAQEBAQEigQuLboJfCxEBCIMaLoIxBYkjk0q?= =?us-ascii?q?BVYUoi0aCCoM1gXmDMYZgj06EJzaBHghcLIUPBCWBTHOGWA4XghcBAQE?= X-IronPort-AV: E=Sophos;i="5.36,274,1486422000"; d="scan'208";a="267484091" 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; 04 Apr 2017 11:39:21 +0200 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 95B979E723_8E369C8B for ; Tue, 4 Apr 2017 09:39:20 +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 90B9F9E720_8E369C8F for ; Tue, 4 Apr 2017 09:39:20 +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 lnv-91187.sb.dfki.de (Postfix) with ESMTPSA id 8846C79; Tue, 4 Apr 2017 11:39:20 +0200 (CEST) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id 61021119C95C; Tue, 4 Apr 2017 11:39:20 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20170404093920.61021119C95C@mbp-autexier.informatik.uni-bremen.de> Date: Tue, 4 Apr 2017 11:39:20 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017 Call for Workshop Proposals 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- 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), Coimbra (Portugal 2014), Washington DC (USA 2015) and Bialystok (Poland 2016). This is the call for proposals for workshops to be held at CICM 2017 Edinburgh, Scotland, July 17-21, 2017. 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 Formal Mathematics for Mathematicians Intelligent Proof Search Mathematical user Interfaces Mathematics Information Retrieval OpenMath Pen-Based Mathematical Computation Programming languages for Mechanized Mathematics Systems Proof Engineering SCIEnce The Notion of Proof User Interfaces for Theorem Provers Proposals for workshops to be held at CICM 2017 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 the CICM workshop chair Petros Papapanagiotou (pe.p@ed.ac.uk). Important dates: Deadline for proposal submissions: 17. April 2017 Workshop dates: 17-21. July 2017 More details on the conference are available from http://www.cicm-conference.org/2017 ----------------------------------------------------------------------