From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 40F995D4 for ; Thu, 9 May 2019 14:48:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,450,1549926000"; d="scan'208";a="382440061" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 May 2019 16:48:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9B8C1826D0; Thu, 9 May 2019 16:48:39 +0200 (CEST) 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 1FF0382674 for ; Thu, 9 May 2019 16:33:48 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=serge.autexier@dfki.de; spf=Pass smtp.mailfrom=serge.autexier@dfki.de; spf=None smtp.helo=postmaster@lnv-91185.sb.dfki.de IronPort-PHdr: =?us-ascii?q?9a23=3AWlLB6RxhjJ4cxPXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+oXIJqq85mqBkHD//Il1AaPAdyCraIawLOK+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhViDanYr5/LRq6oRjeu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406H/ZhNFsg6xYrhyvpwdyw5LIbI2JKPZyYr/RcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YosUEeUBJ+lYoJfnq1QUsBu+GRejBezuyjBWnH/7xrA10+oiEQHHxgAvAswBu2?= =?us-ascii?q?nQoNvoKqgSS++1w7fVxjjfcvNWxSny6YfJch8/u/GAWLR9etffx0koEgPKlFSQ?= =?us-ascii?q?qYr9MjyJ1+QCr22b4/N8WuKojW4npR9+oiKxyccqlobGmJgZylfe9SV2xos+ON?= =?us-ascii?q?62SFZjbNK5HpZduDuWOo93T884Xm1lvDs2xqcbtZO4fCUG0IkryhDQZvCdboSE?= =?us-ascii?q?/gzvWPyPLTtki39pYq+zihe2/EWm1+byTNO70ExQoSpAitTMtm4C1xjU6sWfTv?= =?us-ascii?q?t9+Fmh1S+L2gzO9+1JIkA5mbDAK5E62LI/i5QTsUfCHiPshUr5kreadkQi+ue2?= =?us-ascii?q?9+Tqeqjqq5GTOoNujgzzM74iltG7DOglKAQCQmuW9OSk2L3m50L5QbFKjvMskq?= =?us-ascii?q?netZDXPd8bqbCjAw9azIkv8QywDyq60NsGkngHLUxKeAicgof0NVHOI/H4Ae2i?= =?us-ascii?q?jFuyiDtr3ezJPqX9ApXRKXjOiKvucqx4605Y0QYzydFf54lICrwaO/LyWkrxtM?= =?us-ascii?q?TCARMjMgy0xfznCNRn2Y8EV2KPGPzRDKSHulaN4qcrIvKQTI4Tojf0bfY/tND0?= =?us-ascii?q?inpsglIHcqTv1IYLZWC5E+5OL0uaYDzgj59BKmoQsQd2ZfH2hU2DXCQSNCX6ZL?= =?us-ascii?q?41+jxuUNHuNozEXI342OXdjhf+JYVfYyV9Mn7JCW3hJteIVfQNLi6fcJc4w240?= =?us-ascii?q?EIO5Qopk7imA8Qrzyr5pNO3Rq38Uu5HiktR4tbSKyEMCsAdsBsHY6FmjCmF5mm?= =?us-ascii?q?RSHW0y2r468BUkmgrFyqI+j/JbFJpf6qERXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTBADnOdRch7m/YIZKGh4BBgcGgWWBZ?= =?us-ascii?q?4ETVDAohBGIe48rAZVegWcJAQMBDCMKAgEBhECCChsHAQQ0EwEDAQEEAQECAQE?= =?us-ascii?q?DARMBAQEKCwkIGw4jDII6IoMSBkURNQIFGgcCER1fgjxLAYIKDzaseYEvhDIBh?= =?us-ascii?q?gGBCyeLT4IWgRGDUIEEAYFcBBiBCyhhgj0yggQiBIsKEgacIwcCgguSSCeMGok?= =?us-ascii?q?/kU+PdYEvN4F4cYM8CIIeAh2ITIVBPgExAYEEjDaCUQEB?= X-IPAS-Result: =?us-ascii?q?A0DTBADnOdRch7m/YIZKGh4BBgcGgWWBZ4ETVDAohBGIe48?= =?us-ascii?q?rAZVegWcJAQMBDCMKAgEBhECCChsHAQQ0EwEDAQEEAQECAQEDARMBAQEKCwkIG?= =?us-ascii?q?w4jDII6IoMSBkURNQIFGgcCER1fgjxLAYIKDzaseYEvhDIBhgGBCyeLT4IWgRG?= =?us-ascii?q?DUIEEAYFcBBiBCyhhgj0yggQiBIsKEgacIwcCgguSSCeMGok/kU+PdYEvN4F4c?= =?us-ascii?q?YM8CIIeAh2ITIVBPgExAYEEjDaCUQEB?= X-IronPort-AV: E=Sophos;i="5.60,450,1549926000"; d="scan'208";a="305456129" X-MGA-submission: =?us-ascii?q?MDGslMZVu93qaGuK/49xL1gTU84rNdT/xCiCzK?= =?us-ascii?q?+nNNFuL9TipTVENysF/RJpJeMbJl0Cwio54Gb9ou97T0QFADmddAcgt2?= =?us-ascii?q?P1Co82uKRUvmb/VScr5CohgXlItU/LYYzN+698ync1kH9qdwXKotw56F?= =?us-ascii?q?AsZKEbuWdvOObxj6SC2aCBOQ=3D=3D?= Received: from lnv-91185.sb.dfki.de ([134.96.191.185]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 May 2019 16:33:47 +0200 Received: from localhost (localhost [127.0.0.1]) by lnv-91185.sb.dfki.de (Postfix) with ESMTP id 138BD5F7 for ; Thu, 9 May 2019 16:33:47 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lnv-91185.sb.dfki.de Received: from lnv-91185.sb.dfki.de ([127.0.0.1]) by localhost (smtp.dfki.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Aj28Zgze6Q7G for ; Thu, 9 May 2019 16:33:47 +0200 (CEST) Received: from lnv-91187.sb.dfki.de (lnv-91187.sb.dfki.de [134.96.191.187]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by lnv-91185.sb.dfki.de (Postfix) with ESMTPS id 04EAD5F3 for ; Thu, 9 May 2019 16:33:47 +0200 (CEST) Received: from gigondas.localdomain (mbp-autexier.informatik.uni-bremen.de [134.102.204.169]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by lnv-91187.sb.dfki.de (Postfix) with ESMTPSA id F2C417B; Thu, 9 May 2019 16:33:46 +0200 (CEST) Received: by gigondas.localdomain (Postfix, from userid 501) id D134913FF8C9; Thu, 9 May 2019 16:33:46 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20190509143346.D134913FF8C9@gigondas.localdomain> Date: Thu, 9 May 2019 16:33:46 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation Reply-To: serge.autexier@dfki.de (Serge Autexier) X-Loop: caml-list@inria.fr X-Sequence: 17541 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Joint Call for Workshops Papers (OpenMath, LML, GVMM, FVPS) Doctoral Programme Submissions Participation 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12, 2019 CIIRC, Prague, Czech Republic http://www.cicm-conference.org/2019 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. In addition to the main tracks, CICM 2019 will host the Exploring the Mizar Library tutorial and 4 workshops: Formal Mathematics for Mathematicians (FMM), Formal Verification of Physical Systems (FVPS), Large Mathematical Libraries (LML), 30th OpenMath Workshop. This is a call for submissions and participation to the - 30th OpenMath Workshop - Large Mathematics Libraries Workshop (LML 2019) - 4th workshop on Formal Mathematics for Mathematicians (FVMM 2019) - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) - CICM doctoral programm track More details about workshops and the doctoral programm are available from their webpages on the CICM website https://www.cicm-conference.org/2019 * Submissions Deadlines * - OpenMath 2019 continuous until July 1, 2019 - LML 2019 May 13, 2019 - FVMM 2019 May 13, 2019 - FVPS 2019 May 24, 2019 - CICM doctoral programm track May 15, 2019 * Registration * Registration to CICM 2019 and the workshops is open at the CICM website or directly at https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration