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 F2CE980143 for ; Wed, 7 Jun 2017 06:11:23 +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=3AM01AUxA5IhKbZeIECN2dUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT7o8bcNUDSrc9gkEXOFd2CrakV1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJKSM3/33UhMJ+jKxWuw6hqwBjz4LIfI2ZKPhzc6XAdt0aX2pBWcNRWjRaAoyi?= =?us-ascii?q?dYsPAPQOMfxCoIngu1sBsxS/BQiyC+P10TJHm3H23a470+g7DA7JwhErE9YTvn?= =?us-ascii?q?vKttX1O7kdWv2pwanV0TXMcfxX2Tbj54jSdxwsp+yHU7x3ccrU00YvFgXFg02W?= =?us-ascii?q?qYz4JDOVyv4BvHaG4Op9T+6vk20npxltrTiu2sgsj5DFiZ4SylDC+yV23pw1Ks?= =?us-ascii?q?O+SEFnf9GoCpxQtzuVN4ZwX8gsQHlotT4nxrAItpO3ZiwHxZU9yxLCb/GLbpKE?= =?us-ascii?q?7g/gWeuROTt1hnBodKiiixux8EWs0PDwW8mu3FpXsiZInN/BvW0X2RPJ8MiIUP?= =?us-ascii?q?5981+h2TmR0wDT7flJIVsqmqXBMpIhx6Q/lpsXsUjZAyD2lkb2jK6Meko55Oek?= =?us-ascii?q?8+XnYrP4qZ+AL4J4lw/zP6s0lsG7AOk0KBUCUmyG9eimybHu/k30TK1PjvIsk6?= =?us-ascii?q?nZtJ7aJd4cpq68GwJVyZgs6wywDzi4ytgXh2QHLE5bdxOIjojmJUvOLevlAvex?= =?us-ascii?q?gFSskS1nyO3YMbH5GJXCMmDDkKv9fbZ680NT1BA8zdVb555NDrEBIenzWlPqud?= =?us-ascii?q?zDDh45NhS0zPz9BNV80IMeQ2OPDbWDPKPcq1/brt4oduKFYYtQvDfmN9Ak4eTv?= =?us-ascii?q?hDk3gwwzZ66siIAacn+1WP17P0iJYHf2qtsPEmZMsgd2DNfnklKPGRdOe3uiXq?= =?us-ascii?q?8mp2JoQLm6BJvOE9j+yIeK2z22S8Vb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3DAC3ezdZbbm/YIZeHQEFAQsBGAEFA?= =?us-ascii?q?QsBgwAtYoENAYNyiwuQcoETgXUBikaKYSyFeIJpQxQBAQEBAQEBAQEBARINCwk?= =?us-ascii?q?GKi+CMyKCZwZDAhE1AgUhAhEdRBuKEAQMrW6CJowBAQEBAQYBAQEBASOBC4c2N?= =?us-ascii?q?oI2BIFtAYJwDRIBCIMmMIISHwWJSpRqhyaMAYJogmuFRIZ1kC2ENDaBIAt1h2J?= =?us-ascii?q?0AYcNDheCGQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D3DAC3ezdZbbm/YIZeHQEFAQsBGAEFAQsBgwAtYoENAYN?= =?us-ascii?q?yiwuQcoETgXUBikaKYSyFeIJpQxQBAQEBAQEBAQEBARINCwkGKi+CMyKCZwZDA?= =?us-ascii?q?hE1AgUhAhEdRBuKEAQMrW6CJowBAQEBAQYBAQEBASOBC4c2NoI2BIFtAYJwDRI?= =?us-ascii?q?BCIMmMIISHwWJSpRqhyaMAYJogmuFRIZ1kC2ENDaBIAt1h2J0AYcNDheCGQEBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.39,309,1493676000"; d="scan'208";a="277608656" 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; 07 Jun 2017 06:11:23 +0200 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 550389D598_9377CEAB for ; Wed, 7 Jun 2017 04:11:22 +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 493E99D587_9377CEAF for ; Wed, 7 Jun 2017 04:11:22 +0000 (GMT) Received: from gigondas-5.fritz.box (x4dba0f67.dyn.telefonica.de [77.186.15.103]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by lnv-91187.sb.dfki.de (Postfix) with ESMTPSA id 2762C79; Wed, 7 Jun 2017 06:11:22 +0200 (CEST) Received: by gigondas-5.fritz.box (Postfix, from userid 501) id B890713FD97F; Wed, 7 Jun 2017 06:11:21 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20170607041121.B890713FD97F@gigondas-5.fritz.box> Date: Wed, 7 Jun 2017 06:11:21 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2017, Doctoral Programme, Extended Submission Deadline 9. June 2017 [Apologies if you receive multiple copies] Extended Deadline for Submissions to the Doctoral Programme 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- * Submission deadline (Abstract + CV): 9. June 2017 (extended) * Notification of acceptance: 12. June 2017 (extended) Further information see below Invited Speakers at CICM 2017 - Alan Bundy (University of Edinburgh) - Przemysław Chojecki (Polish Academy of Sciences) - Grant Olney Passmore (University of Cambridge) ---------------------------------------------------------------------- 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 a call for papers for CICM 2017, which will be held in Edinburgh, Scotland, July 17-21, 2017. CICM 2017 also invites work-in- progress papers. The principal tracks of the conference are: * Track: Calculemus (chair: Matthew England) * Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke) * Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe) * Track: Systems & Data (chair: Osman Hasan) * Track: Doctoral Programme (chair: Adnan Rashid) The overall programme is organized by the General Program Chair Herman Geuvers. The local arrangements are coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. CICM is also an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Submission to the doctoral programs are possible until 9. June, details of the submission process are given below. *Important Dates* - Submission deadline (Abstract + CV): 9. June 2017 (extended) - Notification of acceptance: 12. June 2017 (extended) *Submission* - Submission by e-mail to the DP chair Adnan Rashid Email: adnan.rashid@seecs.edu.pk Web: http://save.seecs.nust.edu.pk/adnanrashid/ More details on the conference are available from http://www.cicm-conference.org/2017