From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 27AC27F75C for ; Thu, 25 Sep 2014 22:07:56 +0200 (CEST) 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.177; 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.177 as permitted sender) identity=mailfrom; client-ip=74.125.82.177; 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-we0-f177.google.com) identity=helo; client-ip=74.125.82.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cie.conference.series@gmail.com"; x-sender="postmaster@mail-we0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AioCAMB0JFRKfVKxlGdsb2JhbABgg2FXymYGiFoWAREBAQEBBwsLCRIuhBwLGwIGARsLARIDEm4RAQUBSQUJiAcBAxEEAQicG4Mdbo0igxCJFwoZJw1mhlABBQ6PIxmDEg9EgUEFhROBE4w/glNih2CGdodFhFJBhRVrAYJJAQEB X-IPAS-Result: AioCAMB0JFRKfVKxlGdsb2JhbABgg2FXymYGiFoWAREBAQEBBwsLCRIuhBwLGwIGARsLARIDEm4RAQUBSQUJiAcBAxEEAQicG4Mdbo0igxCJFwoZJw1mhlABBQ6PIxmDEg9EgUEFhROBE4w/glNih2CGdodFhFJBhRVrAYJJAQEB X-IronPort-AV: E=Sophos;i="5.04,598,1406584800"; d="scan'208";a="80927135" Received: from mail-we0-f177.google.com ([74.125.82.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Sep 2014 22:07:55 +0200 Received: by mail-we0-f177.google.com with SMTP id t60so8433090wes.8 for ; Thu, 25 Sep 2014 13:07:55 -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; bh=tgO2gbxTzXjYePWR88FEO5EJeBZux11bh6cRttrydvw=; b=WbCfouXNRdGfVKf4clCpBngaxqoxgXX/59/E+YidXXcIoNCgOQmsjAbDMbqoK9tkke Zh55XOVSG+G+NsrzRF0KBY/M/5aXkNucyPv4It6m8tvnQs1YBfnimDDPDsk7HXwku29g ZbY56GNpHRrTNnZRUjk7lAHF6TfTzpGxhJdkgUg74GSyltzrjDCu2lgZtIPbRJ+7pJQX 64wO5eDRk9Ect82F/cgn+gsMagIvPGrxOB5BIcExIzzOca83Lqwd0cpLVqVWWj7otw9c XVy2GRXgrE00lRWzQaniqvBsGDqd8v7Ea6q40tqeBYcTXxzQclfBpby8urE8qSEjo9hM i1/g== X-Received: by 10.194.103.200 with SMTP id fy8mr6068719wjb.123.1411675675269; Thu, 25 Sep 2014 13:07:55 -0700 (PDT) Received: from [192.168.1.7] (host-92-16-125-30.as13285.net. [92.16.125.30]) by mx.google.com with ESMTPSA id ji10sm10344136wid.7.2014.09.25.13.07.53 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 25 Sep 2014 13:07:54 -0700 (PDT) From: CiE Conference Series X-Google-Original-From: CiE Conference Series Date: Thu, 25 Sep 2014 21:08:46 +0100 (BST) To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII Subject: [Caml-list] CiE 2015: Evolving Computability - Bucharest, 29/6-3/7/2015 -------------------------------------------------------------------- P R E L I M I N A R Y A N N O U N C E M E N T COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ -------------------------------------------------------------------- CiE 2015 is the 11-th 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), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014) CONFIRMED INVITED SPEAKERS Ann Copestake (University of Cambridge) Pawel Gawrychowski (Max-Planck-Institut fuer Informatik) Julia Knight (University of Notre Dame) Anca Muscholl (Universite Bordeaux) Gheorghe Paun (Romanian Academy) Alexander Razborov (University of Chicago and Steklov Mathematical Institute) Vlatko Vedral (University of Oxford) TUTORIAL SPEAKERS John Reif (Duke Unversity) Steve Simpson (Pennsylvania State University) SPECIAL SESSIONS on Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) History and philosophy of computing (Organizers: Christine Proust and Marco Benini) Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. The PROGRAMME COMMITTEE consists of: Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher (Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris), Gabriel Ciobanu (Bucharest), S Barry Cooper (Leeds), Laura Crosilla (Leeds), Liesbeth De Mol (Ghent), Walter Dean (Warwick), Volker Diekert (Stuttgart), Damir Dzhafarov (Storrs, Connecticut), Peter van Emde Boas (Amsterdam), Rachel Epstein (Harvard), Johanna Franklin (Storrs, Connecticut), Neil Ghani (Glasgow), Joel David Hamkins (New York), Rosalie Iemhoff (Utrecht), Emmanuel Jeandel (LORIA), Natasha Jonoska (Tampa, FL), Antonina Kolokolova (St.John's, NL), Antonin Kucera (Prague), Oliver Kutz (Bremen), Benedikt Loewe (Hamburg & Amsterdam), Jack Lutz (Ames, IA), Florin Manea (Kiel), Alberto Marcone (Udine), Radu Mardare (Aalborg), Joe Miller (Madison, WI), Russell Miller (Flushing, NY), Mia Minnes (La Jolla, CA), Victor Mitrana (Bucharest, co-chair), Dag Normann (Oslo), Ian Pratt-Hartmann (Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews), Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool), Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD). In a Call for Papers to be sent out in October 2014, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2015. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer (tbc), which will be available at the conference. ____________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.cs.swan.ac.uk/acie 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