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 sympa.inria.fr (Postfix) with ESMTPS id 089717EE35 for ; Fri, 18 Mar 2016 11:26:27 +0100 (CET) IronPort-PHdr: 9a23:4c7wbhPDgA8VAZEJPJEl6mtUPXoX/o7sNwtQ0KIMzox0KPnyrarrMEGX3/hxlliBBdydsKIUzbKL+Pm7BiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkbjvsMSIPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5JeWQ72jFPBQbI9hz8VZq5iSbgt+dmkH2RPMCwRrcyVzm44qFgRVnzhT0GOiUR/2Tei8g2h6Ve9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cie.conference.series@gmail.com; spf=Pass smtp.mailfrom=cie.conference.series@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f50.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of cie.conference.series@gmail.com designates 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; 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@mail-wm0-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BKAQDD1utWizJSfUpEGoQYb6d7BAOGUlKMcBcKhxw7EQEBAQEBAQEBEAEBAQgLCwkfMYItgi0LGwIGARsFBxIDEm4RAQUBV4dvAQMSDiyhOoIHgTE+MY0ggleFbwoZJw1RhAQBCgEBARYBBQoFiAqCHIU1gXwLQIJDBYYhkTWFCWhtiQtLgimBVoJ2hWKGXzA1hgMvgQ82gkAcgTVqAYpiAQEB X-IPAS-Result: A0BKAQDD1utWizJSfUpEGoQYb6d7BAOGUlKMcBcKhxw7EQEBAQEBAQEBEAEBAQgLCwkfMYItgi0LGwIGARsFBxIDEm4RAQUBV4dvAQMSDiyhOoIHgTE+MY0ggleFbwoZJw1RhAQBCgEBARYBBQoFiAqCHIU1gXwLQIJDBYYhkTWFCWhtiQtLgimBVoJ2hWKGXzA1hgMvgQ82gkAcgTVqAYpiAQEB X-IronPort-AV: E=Sophos;i="5.24,354,1454972400"; d="scan'208";a="208583139" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Mar 2016 11:26:26 +0100 Received: by mail-wm0-f50.google.com with SMTP id l68so61992906wml.0 for ; Fri, 18 Mar 2016 03:26:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:date:to:subject:message-id:user-agent:mime-version; bh=/IewDba0E+z9CnlYMdwDkZ/NRL7Us2spfx5zIXt+aww=; b=lWMllE3dzQNfSpjZfnxhttZ/mG2CmHdj+y9revj2NjgPDBItFFVJ34zuVTAZWYPzZa bDc6OnU6Zi0kpKboJOzAlO9BA3Anq6kpEEWC3VorvxxC+7/8nx0dEhYyNC1S6Hw5fGUg SEUOo/RI1WPicf76M6P7PCRAnLJ8L3NIZQAVIgDYFHYQxuaJEVh1gPWa0DPck3diSeKP 4nM8pbartpumn6R0uu7TWpFZyaNlnBSrVj3gHaVfpojQyNkUZvUcQ7pYFkdwSp7cuIRK eRdBXgVZ7o/J2a9mfPmngfr7grEFYZ7yBhvGe5P+zMVaNsMKDG4W5MWclTTA+5Zc5e0J aA9g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:date:to:subject:message-id:user-agent :mime-version; bh=/IewDba0E+z9CnlYMdwDkZ/NRL7Us2spfx5zIXt+aww=; b=H3FI0gilyqC7XAulmuI58AJ5Y/cjisgHktaP2sdLEKVvsCKbmlR/3P3RI1qpT0lIop K+QgB11y6pR6JA4bqRqtiM1fa/oP/BACoAJczZ7OojB6CzqUgU9pPenE9lATZpQo+Yzy bo/0exoq0XGY9t54bXG7E9IVODqPoE9AH5gF2Z/m9xxTpDRJZL76RsJ8Q9TWTdd0lP+O RuAsKtoSJ5GvoyZ6lrmWnBPn92mDuxDkCsHuutyEN1jzLKqd8obgAiXHEXSY6Qyq8nke I80+OXUYBEVrdTUh/PSrbRXnfOUBEKY7FiQycUVeTqFZu3Rff/nTDTj7nI/JBopfxRJC oj/w== X-Gm-Message-State: AD7BkJLlvVNMbdpEx68mb22en8ohUO1bwqM7PCXBUoMVrK8s9thqyOC84sr49WxCtvYC/Q== X-Received: by 10.194.176.129 with SMTP id ci1mr359503wjc.166.1458296786267; Fri, 18 Mar 2016 03:26:26 -0700 (PDT) Received: from csarnold-lt.swan.ac.uk (csarnold-lt.swan.ac.uk. [137.44.2.24]) by smtp.gmail.com with ESMTPSA id u14sm34030120wmu.8.2016.03.18.03.26.25 for (version=TLSv1/SSLv3 cipher=OTHER); Fri, 18 Mar 2016 03:26:25 -0700 (PDT) From: CiE Conference Series X-Google-Original-From: CiE Conference Series Date: Fri, 18 Mar 2016 10:27:07 +0000 (GMT) To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.20 (LSU 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII Subject: [Caml-list] CiE 2016: Pursuit of the Universal - Call for Informal Presentations - Paris, 27/6-1/7/2016 Computability in Europe 2016: Pursuit of the Universal Paris, France June 27 - July 1st, 2016 http://lipn.univ-paris13.fr/CIE2016/ CALL FOR INFORMAL PRESENTATIONS * IMPORTANT * Deadline for Informal Presentations: APRIL 23, 2016 * Deadline for ASL student travel grant: March 27, 2016 * For info on funding opportunities for students, see below There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and two pages) by the DEADLINE: APRIL 23, 2016 Please submit your abstract electronically, via EasyChair, selecting the category "Informal Presentation". You will be notified whether your talk has been accepted for informal presentation usually within a week or two after your submission. ************************************************************** FUNDING OPPORTUNITIES: CiE 2016 has received funding from ASL (Association for Symbolic Logic) and EATCS (European Association for Theoretical Computer Science) that allows students who are members of ASL or EATCS and want to attend CiE 2016 to apply for travel funds or a reduction of the early registration fee. See the conference website (http://lipn.univ-paris13.fr/CIE2016/grants.php) for details. ___________________________________ CiE 2016 http://lipn.univ-paris13.fr/CIE2016/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE