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 ESMTPS id E70E75D4 for ; Fri, 22 Jun 2018 06:51:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,255,1526335200"; d="scan'208";a="332829801" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jun 2018 08:51:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EBC2A824A0; Fri, 22 Jun 2018 08:51:13 +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 6201A82474 for ; Fri, 22 Jun 2018 08:47:11 +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=3A5CJy6BFWfalN8AuwTi/D8p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpcywAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+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?t4PqJSiV1+QRvGib9eVgVPivh3QgqwFrrTij3tsjiojViYIQ01zL6SJ5wIA7Jd?= =?us-ascii?q?KmUk50f9ikH4dOuC2AMIt2WMwiTmd1syg50r0LoYO3cSYFxZg9wxPSauaLf5WM?= =?us-ascii?q?7x7+TuqdPDR1iXJ9dL6iiRu//lKsxvDgWsWqylpGsDZJn9bWunwQ1hHe7s6KQe?= =?us-ascii?q?Zn8Ei7wzaAzQXT5/lEIU8qkarbLIYswro2lpoNqEjOGjL6lFj1gaKWbEkk4fOn?= =?us-ascii?q?5/76bbXopZ+cNpV4hRzgPag2m8y/B/o3MhQWUmSG9+mx26fv8En4TblQk/E7lr?= =?us-ascii?q?TVvIrHKckYpqO1GwpV3Zwi6xa7ATemytMYnXwfIVJeZh2HlYfpNE/ULP/iEPe/?= =?us-ascii?q?n0qjkThqx//YJL3sGYjCLnbAkLfgZ7py9lBTxBIpzd9D/5JUFq0BIPXrV0Dtrt?= =?us-ascii?q?PYCxs5PxWww+bmE9V9ypgTWXmPA6+cKKPdq0WE5uMpI+mWZY8aoizxK/Y/562m?= =?us-ascii?q?sXhsklYYeeyt3IALQHG+BPVvZUuDMlT2hdJUCmoQsQd4RfH2hU2DXCR7a3ixXu?= =?us-ascii?q?Qw63l7M4+8AoqLb52xjayA0T36Tc4eXXxPFl3ZSSSgTI6DQfpZMHvDcP8kqSQN?= =?us-ascii?q?UP2ac6Fk0BivsAHgzL82fOba+SxeuZ+xjYEptd2Wrgk78HlPN+rYy3uEHjN4kG?= =?us-ascii?q?AJATM7jvgm/B5Nj2yb2K09uMR2UNxe4/QTCFU+M4CZnrUjW420QQiHctmKSRCq?= =?us-ascii?q?T4f+DA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BGBgASmyxbmLm/YIZcHgEMBoQrf4Qhl?= =?us-ascii?q?EOEfgGSBoF5CyOBVIJ1gn8ZBwEEMhYBAgEBAQEBAQEBARMBAQEBAQgLCwYpIwy?= =?us-ascii?q?CNSKCdQZFETUCBSECER1aBYMKAYF/D6tEghyIRIEFgQuHSYITgQ4BgmGBb4FXB?= =?us-ascii?q?BiCE4I0MYIEIAKHV5FPBwKFfYkIiAyFQIodh0OBIyUMgUUcDghxgzcIgiQCGoh?= =?us-ascii?q?IhUCRGQEB?= X-IPAS-Result: =?us-ascii?q?A0BGBgASmyxbmLm/YIZcHgEMBoQrf4QhlEOEfgGSBoF5CyO?= =?us-ascii?q?BVIJ1gn8ZBwEEMhYBAgEBAQEBAQEBARMBAQEBAQgLCwYpIwyCNSKCdQZFETUCB?= =?us-ascii?q?SECER1aBYMKAYF/D6tEghyIRIEFgQuHSYITgQ4BgmGBb4FXBBiCE4I0MYIEIAK?= =?us-ascii?q?HV5FPBwKFfYkIiAyFQIodh0OBIyUMgUUcDghxgzcIgiQCGohIhUCRGQEB?= X-IronPort-AV: E=Sophos;i="5.51,255,1526335200"; d="scan'208";a="269595511" Received: from lnv-91185.sb.dfki.de ([134.96.191.185]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jun 2018 08:46:52 +0200 Received: from localhost (localhost [127.0.0.1]) by lnv-91185.sb.dfki.de (Postfix) with ESMTP id B2CF322A for ; Fri, 22 Jun 2018 08:46:51 +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 LiRATiJDsJ-a for ; Fri, 22 Jun 2018 08:46:51 +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 A20B0226 for ; Fri, 22 Jun 2018 08:46:51 +0200 (CEST) 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 9A2DA8A; Fri, 22 Jun 2018 08:46:51 +0200 (CEST) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id A3E232DBC020; Fri, 22 Jun 2018 08:46:51 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20180622064651.A3E232DBC020@mbp-autexier.informatik.uni-bremen.de> Date: Fri, 22 Jun 2018 08:46:51 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial Reply-To: serge.autexier@dfki.de (Serge Autexier) X-Loop: caml-list@inria.fr X-Sequence: 16957 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: Call for Contributions work-in-progress - posters - demos - tutorials - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- CICM focuses on theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, libraries, and user interfaces. CICM 2018 will feature 3 invited speakers: * Akiko Aizawa, National Institute of Informatics, University of Tokyo * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University * Adri Olde Daalhuis, University of Edinburgh and 6 affiliated workshops: * Computer Algebra in the age of Types * Computer Mathematics in Education - Enlightenment or Incantation * Formal Mathematics for Mathematicians * Formal Verification of Physical Systems * Mathematical Models and Mathematical Software as Research Data * OpenMath Workshop In addition to the above and the formally reviewed program, CICM invites contributions of various forms: 1) Work-in-progress papers (any length up to 15 pages) will be lightly reviewed and, if accepted, presented at the conference and published in a volume of CEUR-WS. 2) Demos and posters (submitted as a summary of a few paragraphs) will be presented during a dedicated session. Submission is open to any topic interesting to the CICM audience. We also encourage authors of accepted papers to supplement their talk with a demo or poster. 3) Tutorials (up to 60 minutes, submitted as a summary of a few paragraphs) will take place in individual rooms during a dedicated session. 4) Doctoral program submissions (2 page abstract + CV) will be presented and discussed during a dedicated session focusing on mentoring. Submission is open to any doctoral student in the CICM area. Student authors of accepted papers are strongly encouraged to additionally submit to the doctoral program. Financial support for doctoral program participants is available. All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 Notifications are sent on a rolling basis. The last day to submit is July 15. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs