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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 647517EEBF for ; Mon, 6 Jul 2015 08:56:14 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=pra; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of serge.autexier@dfki.de) identity=mailfrom; client-ip=134.96.191.185; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="serge.autexier@dfki.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="serge.autexier@dfki.de"; x-sender="postmaster@sea-mail.dfki.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BQAgBlJZpVmbm/YIZCGhaDUGCDH6tOAYY3ihwMgkGDNIEpTAEBAQEBARIBAQEBAQgLCwchLoRHBkURNQIFIQIRHYhzDTqxOpVqAQEBAQEFAQEBAQEBHIEhi2eDSR2CFwwvEh2BFAWHBY0QhGKHBYE7RIY7iHIXgzeDXYEJgTaBZG0BgkoBAQE X-IPAS-Result: A0BQAgBlJZpVmbm/YIZCGhaDUGCDH6tOAYY3ihwMgkGDNIEpTAEBAQEBARIBAQEBAQgLCwchLoRHBkURNQIFIQIRHYhzDTqxOpVqAQEBAQEFAQEBAQEBHIEhi2eDSR2CFwwvEh2BFAWHBY0QhGKHBYE7RIY7iHIXgzeDXYEJgTaBZG0BgkoBAQE X-IronPort-AV: E=Sophos;i="5.15,413,1432591200"; d="scan'208";a="139061482" Received: from sea-mail.dfki.de ([134.96.191.185]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Jul 2015 08:56:13 +0200 Received: from sea-mail.dfki.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 2DE2AA62C9_59A268CB for ; Mon, 6 Jul 2015 06:56:12 +0000 (GMT) Received: from mail.dfki.de (lnv-104.sb.dfki.de [134.96.191.146]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client did not present a certificate) by sea-mail.dfki.de (Sophos Email Appliance) with ESMTPS id 27778A62C7_59A268CF for ; Mon, 6 Jul 2015 06:56:12 +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 mail.dfki.de (Postfix) with ESMTPSA id 1DD9D310F8; Mon, 6 Jul 2015 08:56:12 +0200 (CEST) Received: by mbp-autexier.informatik.uni-bremen.de (Postfix, from userid 501) id E592529FC7B3; Mon, 6 Jul 2015 08:56:11 +0200 (CEST) To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Cc: serge.autexier@dfki.de Message-Id: <20150706065611.E592529FC7B3@mbp-autexier.informatik.uni-bremen.de> Date: Mon, 6 Jul 2015 08:56:11 +0200 (CEST) From: serge.autexier@dfki.de (Serge Autexier) X-Validation-by: serge.autexier@dfki.de Subject: [Caml-list] CICM 2015: Final Call for Participation, Deadline July 6th, 2015 Final Call for Participation Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Registration Deadline July 6th, 2015 The programme for this year's CICM in Washington can be found as http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme The accepted papers as http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks In addition we solicit for posters which will not be peer reviewed, but we will just do a screen review for relevance to the conference. A poster presentation will consist of a 5 minute teaser talk and the presentation of the poster on Tuesday morning (together with the other presentations in the Systems/Data/Projects track). You can submit a brief abstract on a poster by 22 June 2015 via EasyChair: https://www.easychair.org/conferences/?conf=cicm2015 You will be informed about acceptance shortly after your submission. Registration to the conference will open shortly. For details on the conference, registration, accommodation, etc. see http://www.cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ "Towards a Global Digital Mathematics Library" * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme is organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we have co-located workshops: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. --------------------------------------------------------------------------------