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 808867FD92 for ; Tue, 7 Jun 2016 23:39:33 +0200 (CEST) IronPort-PHdr: 9a23:eDUlNRFvXw6xubH6rNuuA51GYnF86YWxBRYc798ds5kLTJ75osuwAkXT6L1XgUPTWs2DsrQf27uQ7PqrATVIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nhqbtodaLOk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5JeWQ72jFPBQbI9hz8VZq5iSbgt+dmkH2RPMCwRrcyVzm44qFgRVnzhT0GOiUR/2Tei8g2h6Ve9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail3-smtp-sop.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-f67.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cie.conference.series@gmail.com) identity=pra; client-ip=74.125.82.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="cie.conference.series@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of cie.conference.series@gmail.com designates 74.125.82.67 as permitted sender) identity=mailfrom; client-ip=74.125.82.67; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f67.google.com) identity=helo; client-ip=74.125.82.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-wm0-f67.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ABBACyPldXd0NSfUpCGoQUfagXhm5TgzqJXxcLhzY8EAEBAQEBAQEBEQEKCwsJHzGCMIIuCwYdARsMEgMSRwIlEQEFAVeHcgEDFwQKLZs8ggeBMT4xizuBaoJYBYgGChknDVKDLwEBAQEGAQEBAQEaAgYQiBaCHYQ4gwILLROCRgWGQoFDkEaFHGhwiCh1ToIthFIOhVuHDzs/hhcwgQ81hA5tAYoOAQEB X-IPAS-Result: A0ABBACyPldXd0NSfUpCGoQUfagXhm5TgzqJXxcLhzY8EAEBAQEBAQEBEQEKCwsJHzGCMIIuCwYdARsMEgMSRwIlEQEFAVeHcgEDFwQKLZs8ggeBMT4xizuBaoJYBYgGChknDVKDLwEBAQEGAQEBAQEaAgYQiBaCHYQ4gwILLROCRgWGQoFDkEaFHGhwiCh1ToIthFIOhVuHDzs/hhcwgQ81hA5tAYoOAQEB X-IronPort-AV: E=Sophos;i="5.26,435,1459807200"; d="scan'208";a="180511675" Received: from mail-wm0-f67.google.com ([74.125.82.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Jun 2016 23:39:24 +0200 Received: by mail-wm0-f67.google.com with SMTP id r5so9184171wmr.0 for ; Tue, 07 Jun 2016 14:39:24 -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=hMOc+zldeBY3Hv3w/ZIqn+2SwlLD4hXOTvwOOSrTJ8U=; b=h7IFxJf9M5WYyQWTQ+cHtWAjTxgctHxq++q62o8Hu/073kamCwNKFjT9oIn93GcQ8y vuKsoQXN4jUjlwac46vmkwwjVa2ymcxEt+CEccrPsPBLmScX1DBxSpwplYPeVbroQenf hi8zNSEYFKl+XHhEifRU7clahusBQzSOSrQjtd1e1qB8lQngPP7Yy2Sl914ew0+fEZRW UN5mkwR3Ef7lWy9J0JuPNBYE5c7zfp7+p4CTyoF6jr+eIFyerMm9gT6uLG2AOdYgMgf4 yJq7/fHHRH+N4zQ62NnK+Hn8fFF0W8BaAy7oAIUqRQh9WobTgCD9n+VRiS4EI3d9UWov B4EQ== 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=hMOc+zldeBY3Hv3w/ZIqn+2SwlLD4hXOTvwOOSrTJ8U=; b=Zgw/0K0s2nt+krigMi9W8rEv1q8a/DRfmTPslB7qMCndrRs2aKUG4wRV03Fx1OU7RV ZnA26v95ZDba+4c4Zsf/tI9SCb2N+QPKABzFhJAqCVUhEU0/tc3XQmI3ti3bilBuxFA6 JN4UtBgMT3VqU1cqd2Qh9bp1dMghWYTX1vf2qc4GJ5CZoJHkx3hpJ4j3HvFOFZAeg8oN H18SRrmG7UyrvYLh3/xLE4ZnGYsWIAqOBhvo3l6SLnkrkbqygqcPsvKoL/4zz4K4+t/4 7RWftrsbOy4K1W/NCm4DRjN4rqp0IPKkOQ/jH0aVp6dxD4YHYUZMBVmcC0WTz9lsog+S e9PQ== X-Gm-Message-State: ALyK8tJVZ39szGvOulmDBTcEFLoFo3tNAOt+dDSZF4PnHGLlr4I/3JoS479uJ9SXF5eTBw== X-Received: by 10.194.90.177 with SMTP id bx17mr1182335wjb.107.1465335563296; Tue, 07 Jun 2016 14:39:23 -0700 (PDT) Received: from [192.168.1.14] (host-92-26-72-48.as13285.net. [92.26.72.48]) by smtp.gmail.com with ESMTPSA id lf9sm27266215wjc.44.2016.06.07.14.39.22 for (version=TLSv1/SSLv3 cipher=OTHER); Tue, 07 Jun 2016 14:39:22 -0700 (PDT) From: CiE Conference Series X-Google-Original-From: CiE Conference Series Date: Tue, 7 Jun 2016 22:40:01 +0100 (BST) To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.20 (LSU 67 2015-01-07) MIME-Version: 1.0 Content-Type: multipart/mixed; BOUNDARY="-228847484-1223746384-1465335602=:3053" Subject: [Caml-list] CiE 2016: Call for Participation - Paris, 27/6-1/7/2016 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---228847484-1223746384-1465335602=:3053 Content-Type: text/plain; format=flowed; charset=UTF-8 Content-Transfer-Encoding: 8BIT ---------------------------------------------------------------------------- CiE 2016: Call for Participation and Registration ---------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal Paris, France June 27 - July 1st, 2016 http://lipn.univ-paris13.fr/CIE2016/ Details on the registration: http://lipn.univ-paris13.fr/CIE2016/registration.php Details on accommodation possibilities: http://lipn.univ-paris13.fr/CIE2016/practical.php CiE 2016's Motto is: "Pursuit of the Universal". This year’s conference will open with a special tribute session that CiE society is dedicating to the former CiE president, Barry Cooper who unexpectedly passed away on October 26th 2015. Barry was originally scheduled as a plenary speaker at this year’s conference. The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalized computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honors Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines. CiE 2016 is the twelfth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014) and Bucharest (2015). PROGRAM: The papers accepted for CiE 2016 can be seen here: http://lipn.univ-paris13.fr/CIE2016/contributed.php The programme of the conference can be found here http://lipn.univ-paris13.fr/CIE2016/program.php The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag, and there will be a best student paper award presented to the best paper written solely by students, sponsored by Springer. TUTORIAL SPEAKERS: Bernard Chazelle (Princeton University) Mikolaj Bojanczyk (University of Warsaw) INVITED SPEAKERS: Janet Abbate (Virginia Tech) Natasha Alechina (University of Nottingham) Vasco Brattka (Universität der Bundeswehr München) Steffen Lempp (University of Wisconsin) André Nies (University of Auckland) Sarah Rees (University of Newcastle) Reed Solomon (University of Connecticut) SPECIAL SESSIONS on: Computable and constructive analysis (organizers: Daniel Graça, Elvira Mayordomo) Computation in bio-chemical systems (organizers: Alessandra Carbone, Ion Petre) Cryptography and information theory (organizers: Danilo Gligoroski, Carles Padro) History and philosophy of computing (organizers: Liesbeth de Mol, Giuseppe Primiero) Symbolic dynamics (organizers: Jarkko Kari, Reem Yassawi) Weak arithmetics (organizers: Lev Beklemishev, Stanislav Speranski) INFORMAL PRESENTATIONS: While computer science conferences usually host formal presentations based on papers published in a proceedings volume, 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. So, continuing the tradition of past CiE conferences, CiE 2016 hosts a series of informal presentations, in addition to the presentations based on the papers in the LNCS proceedings volume. The list of informal presentations can be found here: http://lipn.univ-paris13.fr/CIE2016/contributed.php ___________________________________ 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 ---228847484-1223746384-1465335602=:3053--