From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8EKenwm003375 for ; Wed, 14 Sep 2011 22:40:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArwBALwQcU7RVdW2kGdsb2JhbAAoGpkQjjAIFAEBAQEJCQ0HFAQigWwCLAEIEwwMBgMSEF0BEQEFAT0ah1kklUeCWAqLQIJXhU87iG0CAwaGaASTP4x6PYNv X-IronPort-AV: E=Sophos;i="4.68,382,1312149600"; d="scan'208";a="109096411" Received: from mail-yx0-f182.google.com ([209.85.213.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Sep 2011 22:40:43 +0200 Received: by yxk36 with SMTP id 36so2707076yxk.27 for ; Wed, 14 Sep 2011 13:40:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=1BFYKINFM8sH17LOy1ZolCtE/Gh+vfcZxX2v9w9rYhY=; b=n9nnTTB5cN7IG3MSH8XeO65Tr2YGNN17zmp8xZmM1RkkmCsV25MjZK/Uk+fnNeVSam JCOMHRwUCWfFz8wNzwL3cu7VyqkK48OhTw2TSEkRLME70wVQvEUF4YprY35Lnr/7vH7A zx0T6xJGIgV6XnX3oczhJ1wASPsxjeMu1QJFA= MIME-Version: 1.0 Received: by 10.52.179.72 with SMTP id de8mr311621vdc.74.1316032841475; Wed, 14 Sep 2011 13:40:41 -0700 (PDT) Received: by 10.52.184.162 with HTTP; Wed, 14 Sep 2011 13:40:41 -0700 (PDT) Date: Wed, 14 Sep 2011 21:40:41 +0100 Message-ID: From: CiE Conference Series To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p8EKenwm003375 Subject: [Caml-list] 'The Incomputable' - Registration opens __________________________________________________________________________ Registration is now open:           June 12-15, 2012 - Turing Centenary Workshop on                        "THE INCOMPUTABLE"  at the Kavli Royal Society International Centre, Chicheley Hall, UK             www.mathcomp.leeds.ac.uk/turing2012/inc/ THE INCOMPUTABLE is a major multidisciplinary workshop of the 6-month Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing" (SAS). It is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. It is held in association with the Turing Centenary Conference (CiE 2012) in Cambridge the following week, which will run up to the June 23rd centenary of Turing's birth, and the weekend of celebrations in Cambridge, Manchester, Bletchley Park, and around the world. There will be plenary talks from: Samson Abramsky, Martin Davis, Seth Lloyd, Philip Maini, Yuri Matiyasevich, Istvan Nemeti/ Hajnal Andreka, Gerald Sacks, Theodore A Slaman, Robert I Soare, Vlatko Vedral and Anton Zeilinger. Invited Special Session speakers include: Klaus Ambos-Spies, Marat M Arslanov, Mark Bishop, Cristian Calude, Douglas Cenzer, Peter Cholak, Jennifer Chubb, Bob Coecke, Jose Felix Costa, Vincent Danos, Rodney Downey, Steven Ericsson-Zenith, Luciano Floridi, Sy Friedman, Sergey Goncharov, Noam Greenberg, Joel Hamkins, Valentina Harizanov, Denis Hirschfeldt, Mark Hogarth, Elham Kashefi, Julia Knight, Antonin Kucera, Andrew Lewis, Giuseppe Longo, Antonio Montalban, Andre Nies, Mehrnoosh Sadrzadeh, Richard A Shore, Aaron Sloman, Andrea Sorbi, Ivan Soskov, Alexandra Soskova, Christof Teuscher, John Tucker, Jan van Leeuwen, Kumaraswamy (Vela) Velupillai, Peter Wegner, Philip Welch, Jiri Wiedermann. There will be provision for informal discussions, small research workshops, and project planning meetings. THE INCOMPUTABLE, generously supported by the John Templeton Foundation, promises to be a historic event, bringing the mathematical theory of incomputability centre-stage once again. Attendance is limited to 120 participants - up to 60 accommodated on-site - so early registration is advised. The registration page is at: http://www.mathcomp.leeds.ac.uk/turing2012/inc/give-page.php?26 Note: Speakers are already registered, and SAS participants have their own arrangements, and should contact the Isaac Newton Institute directly, if they have not already done so. Organisers: S Barry Cooper and Mariya Soskova __________________________________________________________________________