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 C9EF97FA58 for ; Wed, 28 Oct 2015 22:52:48 +0100 (CET) IronPort-PHdr: 9a23:chrRqR1LicOFxs8xsmDT+DRfVm0co7zxezQtwd8ZsegTLfad9pjvdHbS+e9qxAeQG96LtrQd1KGO7+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZ3onLjus7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqBwDTI8Mmlz6te4mwPESF6k51ZUeWIQnBdSDg7O4VnBU43wvzCy4uF81W+ROsv4QKo5Xz+vqbxmUh7lkw8IMjc49Cfcjckm3/ETmw6ouxEqm92cW4qSLvcrJq4= 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-wi0-f169.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=209.85.212.169; 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 209.85.212.169 as permitted sender) identity=mailfrom; client-ip=209.85.212.169; 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-wi0-f169.google.com) identity=helo; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-wi0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CQAABkQzFWlKnUVdFehApvrAeGeowrgVoXCoc5OhIBAQEBAQEBARABAQEBBwsLCR8wgi6CGgYLIwEbDBIDEm4RAQUBSQ6HeAEDEgQBCKQFggiBMT4xjTWCeYgGChknDVaDeQEBAQcBAQEBARgBBQ6CRIQmiR8ZgwoMQ4ExBYYMkDGEN2WIcIE5hmgQizEohXY1gRcoCYJZgV1yAYV8AQEB X-IPAS-Result: A0CQAABkQzFWlKnUVdFehApvrAeGeowrgVoXCoc5OhIBAQEBAQEBARABAQEBBwsLCR8wgi6CGgYLIwEbDBIDEm4RAQUBSQ6HeAEDEgQBCKQFggiBMT4xjTWCeYgGChknDVaDeQEBAQcBAQEBARgBBQ6CRIQmiR8ZgwoMQ4ExBYYMkDGEN2WIcIE5hmgQizEohXY1gRcoCYJZgV1yAYV8AQEB X-IronPort-AV: E=Sophos;i="5.20,211,1444687200"; d="scan'208";a="184920187" Received: from mail-wi0-f169.google.com ([209.85.212.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2015 22:52:37 +0100 Received: by wikq8 with SMTP id q8so268591737wik.1 for ; Wed, 28 Oct 2015 14:52:37 -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 :content-type:content-id; bh=nYvZYmeX+ELLAKWaayvz5yHQb4PKDXiCzW+uGnGYXBc=; b=iR3ajoUojTbBoFGQp8pw6YXgaNo6dfPPlHipAm0PmDO0JLSwdPk//PKYxxOR2Bn/1c tl6w5UpOL7UGrP3cKaLHkwZ+MT3tZLoXckKxtL3wWDkJQA2XqZg4Z+SKOtX9l9bcFuAd NWSbwocS2UB4RJzMEV+zhauWULAmF8M5HqP58LwJIjpo3jUmN36AiXzH5CKwpsKe+96L csL0iScEtzkYemBOMmg6WC1Q4cNJjAmnz1hTXiSzWqYjxhMZSSUckA3M0UzXN/+gZrU2 siiQzZQpI7tsEmNIz02HXNUHPV99Ha/cmMnAP9lNC9Wm6qVhr2HYamFRQf9r7y6C/K5d swkw== X-Received: by 10.194.105.100 with SMTP id gl4mr22325417wjb.53.1446069157336; Wed, 28 Oct 2015 14:52:37 -0700 (PDT) Received: from [192.168.1.15] (host-92-26-154-234.as13285.net. [92.26.154.234]) by smtp.gmail.com with ESMTPSA id e79sm5884415wmd.16.2015.10.28.14.52.36 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 28 Oct 2015 14:52:36 -0700 (PDT) From: CiE Conference Series X-Google-Original-From: CiE Conference Series Date: Wed, 28 Oct 2015 21:51:16 +0000 (GMT) To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-228847484-720830980-1446068879=:3358" Content-ID: Subject: [Caml-list] CiE 2016: Pursuit of the Universal - 1st CfP - 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-720830980-1446068879=:3358 Content-Type: TEXT/PLAIN; FORMAT=flowed; CHARSET=ISO-8859-15 Content-Transfer-Encoding: 8BIT Content-ID: 1st CALL FOR PAPERS: COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal Paris, France June 27 - July 1st, 2016 http://lipn.univ-paris13.fr/CIE2016/ IMPORTANT DATES: Submission deadline for contributed papers: December 15, 2015 Notification of authors: March 3, 2016 Deadline for final revisions: March 31, 2016 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). CiE 2016's Motto is: "Pursuit of the Universal". 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, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines. 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) Barry Cooper (University of Leeds) Steffen Lempp (University of Wisconsin) André Nies (University of Auckland) Sarah Rees (University of Newcastle) Reed Solomon (University of Connecticut) SPECIAL SESSIONS: 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, Stanislas Speranski) Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: Marcella Anselmo (Università di Salerno) Nathalie Aubrun (Ecole Normale Supérieure de Lyon) Georgios Barmpalias (Chinese Academy of Sciences) Marie-Pierre Beal (Université Paris-Est Marne-la-Vallée) Arnold Beckmann (Swansea University) Laurent Bienvenu (Université Paris 7), PC co-chair Paola Bonizzoni (Università di Milano-Bicocca) Alessandra Carbone (Université Pierre et Marie Curie) Douglas Cenzer (University of Florida) Liesbeth De-Mol (Université Lille 3) David Doty (University of California Davis) Jérôme Durand-Lose (Université d'Orléans) Volker Diekert (Universität Stuttgart) Martin Escardo (University of Birmingham) François Fages (INRIA Paris-Rocquencourt) Enrico Formenti (Université de Nice-Sophia Antipolis) Daniela Genova (University of North Florida) Noam Greenberg (Victoria University of Wellington) Valentina Harizanov, (George Washington University) Hajime Ishihara (Japan Advanced Institute of Science and Technology) Natasha Jonoska (University of South Florida), PC co-chair Jarkko Kari (University of Turku) Lila Kari (University of Western Ontario) Margarita Korovina (University of Manchester) Marta Kwiatkowska (University of Oxford) Karen Lange (Wellesley College) Benedikt Löwe (Universiteit van Amsterdam) Florin Manea (Kiel University) Paulin de Naurois (Université Paris 13), Organizing committee chair Keng Meng Selwyn Ng (Nanyang Technological University) Arno Pauly (University of Cambridge) Mario Perez-Jimenez (Universidad de Sevilla) Ion Petre (Åbo Akademi University) Mehrnoosh Sadrzadeh (Queen Mary University of London) Alexis Saurin (Université Paris 7) Shinnosuke Seki (The University of Electro-Communications Tokyo) Paul Shafer (Ghent University) Alexander Shen (Université Montpellier 3) Alexandra Soskova (Sofia University) Mariya Soskova (Sofia University) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to computability for presentation at the conference and inclusion in the proceedings at https://www.easychair.org/conferences/?conf=cie2016 Papers must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers that build bridges between different parts of the research community are particularly welcome. ___________________________________ 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-720830980-1446068879=:3358--