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 q1S1H7Rb014008 for ; Tue, 28 Feb 2012 02:17:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0FAEIqTE/RVdRCbWdsb2JhbAApGrNpCCINCQwGFgQTEIFvHQIJIwEbDAQBBQgDEhBdAREBBQFJDoUmgi4QCymYE4JdCotygnGFPz+IdAEFC4xlGQgDEAIKBgQDBAMIBAoHFAECAQKFWAcWE4MrBJU9hxeEA4MUPYQD X-IronPort-AV: E=Sophos;i="4.73,494,1325458800"; d="scan'208";a="133257452" Received: from mail-vw0-f66.google.com ([209.85.212.66]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Feb 2012 02:17:09 +0100 Received: by vbbfa15 with SMTP id fa15so137186vbb.9 for ; Mon, 27 Feb 2012 17:17:07 -0800 (PST) Received-SPF: pass (google.com: domain of cie.conference.series@gmail.com designates 10.52.23.169 as permitted sender) client-ip=10.52.23.169; Authentication-Results: mr.google.com; spf=pass (google.com: domain of cie.conference.series@gmail.com designates 10.52.23.169 as permitted sender) smtp.mail=cie.conference.series@gmail.com; dkim=pass header.i=cie.conference.series@gmail.com Received: from mr.google.com ([10.52.23.169]) by 10.52.23.169 with SMTP id n9mr9515893vdf.15.1330391827839 (num_hops = 1); Mon, 27 Feb 2012 17:17:07 -0800 (PST) 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=Uci87whAEMOeQVm/vkinYj08/C3wr/iKeZmQ31uecDk=; b=gzTCMeYAU59F6aTIL843tEmzIa/63lgU6nNHcZdF7Y/ucpYnFgd3HJYSTD1YMucSSR Myw0tQYmrJqdnjKQ+qfdArW5eX6cN/PwGV57iz2M0fMO8vBjRO42EWpSGTqnxUZka0fX tvQ7T9bfjOUqjZMyHsXk+TxUDdDTNhTniU7z0= MIME-Version: 1.0 Received: by 10.52.23.169 with SMTP id n9mr7799250vdf.15.1330391471344; Mon, 27 Feb 2012 17:11:11 -0800 (PST) Received: by 10.52.33.131 with HTTP; Mon, 27 Feb 2012 17:11:11 -0800 (PST) Date: Tue, 28 Feb 2012 01:11:11 +0000 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 q1S1H7Rb014008 Subject: [Caml-list] CALL FOR INFORMAL PRESENTATIONS: TURING CENTENARY CONFERENCE ********************************************************************** CALL FOR INFORMAL PRESENTATIONS:                    TURING CENTENARY CONFERENCE                       http://www.cie2012.eu         Computability in Europe 2012: How the World Computes                      University of Cambridge                     Cambridge, 18-23 June 2012 CiE 2012 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, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, economics and the wider scientific world. CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates, and will be the largest ever conference centred on the Computability Theoretic legacy of Turing and his contemporaries. PLENARY SPEAKERS include: Andrew Hodges (Oxford, Special Invited Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon, The 2012 APAL Lecture), Rodney Downey (Wellington), Yuri Gurevich (Microsoft, The EACSL Lecture), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge, jointly organised lecture with King's College), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Oxford/Princeton, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College). SUBMISSION OF ABSTRACTS OF INFORMAL PRESENTATIONS are now invited for this historic event. For submission details, see: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12 SUBMISSION DEADLINE for Informal Presentations:  MAY 11, 2012 Authors will be notified of acceptance, usually within two weeks of submission. All accepted papers become eligible for consideration for post-conference journals: COMPUTABILITY will consider journal versions of papers presented at CiE conferences as a general rule; and there will be special issues of Logical Methods in Computer Science (LMCS) and Annals of Pure and Applied Logic (APAL). CiE 2012 CONFERENCE TOPICS include, but not exclusively - * Admissible sets * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and Non-standard Models of Computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural Computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain Reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. CiE 2012 will have a special relationship to the scientific legacy of Alan Turing, reflected in the broad theme: How the World Computes, with all its different layers of meaning. Contributions which are directly related to the visionary and seminal work of Turing will be particularly welcome. SPECIAL SESSIONS include: * Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers so far: Eric Allender, Lance Fortnow, Valentine Kabanets, Omer Reingold, Alexander Shen + Panel Discussion on Future Directions * The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann + Panel Discussion on Future Directions * Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro, Matthew Szudzik, Philip Welch, Michiel van Lambalgen * Morphogenesis/Emergence as a Computability Theoretic Phenomenon Chairs: Philip Maini and Peter Sloot Speakers: Jaap Kaandorp, Shigeru Kondo, Nick Monk, John Reinitz, James Sharpe, Jonathan Sherratt * Open Problems in the Philosophy of Information Chairs: Pieter Adriaans and Benedikt Loewe Speakers: Patrick Allo, Luis Antunes, Mark Finlayson, Amos Golan, Ruth Millikan + Panel Discussion on Future Directions * The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker Speakers so far: Steven Ericsson-Zenith, Ivor Grattan-Guinness, Mark Priestley, Robert I. Soare + Panel Discussion Information of funding for students (including ASL grants) and the attendance of female researchers is at: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?14 There will be the annual Women in Computability Workshop, supported by a grant from the Elsevier Foundation. CiE 2012 will be associated/co-located with a number of other Turing centenary events, including: * ACE 2012, June 15-16, 2012 * Computability and Complexity in Analysis (CCA 2012), June 24-27, 2012  http://cca-net.de/cca2012/ * Developments in Computational Models (DCM 2012), June 17, 2012  http://www.math.uni-hamburg.de/home/loewe/DCM2012/ * THE INCOMPUTABLE at Kavli Royal Society International Centre  Chicheley Hall, June 12-15, 2012  http://www.mathcomp.leeds.ac.uk/turing2012/inc/ PROGRAMME COMMITTEE: * Samson Abramsky (Oxford)             * Pieter Adriaans (Amsterdam) * Franz Baader (Dresden)               * Arnold Beckmann (Swansea) * Mark Bishop (London)                 * Paola Bonizzoni (Milan) * Luca Cardelli (Cambridge)            * Douglas Cenzer (Gainesville) * S Barry Cooper (Leeds, Co-chair)     * Ann Copestake (Cambridge) * Anuj Dawar (Cambridge, Co-chair)     * Solomon Feferman (Stanford) * Bernold Fiedler (Berlin)             * Luciano Floridi (Hertfordshire) * Martin Hyland (Cambridge)            * Marcus Hutter (Canberra) * Viv Kendon (Leeds)                   * Stephan Kreutzer (Oxford) * Ming Li (Waterloo)                   * Benedikt Loewe (Amsterdam) * Angus MacIntyre (London)             * Philip Maini (Oxford) * Larry Moss (Bloomington)             * Amitabha Mukerjee (Kanpur) * Damian Niwinski (Warsaw)             * Dag Normann (Oslo) * Prakash Panangaden (Montreal)        * Jeff Paris (Manchester) * Brigitte Pientka (Montreal)          * Helmut Schwichtenberg (Munich) * Wilfried Sieg (Carnegie Mellon)      * Mariya Soskova (Sofia) * Bettina Speckmann (Eindhoven)        * Christof Teuscher (Portland) * Peter van Emde Boas (Amsterdam)      * Jan van Leeuwen (Utrecht) * Rineke Verbrugge (Groningen) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit abstracts of their proposed presentations (in PDF-format, max 1 page) for CiE 2012. We particularly invite papers that build bridges between different parts of the research community. ORGANISING COMMITTEE: Arnold Beckmann (Swansea), Luca Cardelli (Cambridge), S Barry Cooper (Leeds), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Chair), Martin Hyland (Cambridge), Benedikt Löwe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge), Bjarki Holm (Cambridge) The conference is sponsored by the ASL, EACSL, EATCS, Elsevier Foundation, IFCoLog, King's College Cambridge, The University of Cambridge and Microsoft Research. For a small poster to download and display: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/cie12.poster.1000x1400.png Contact: Anuj Dawar - anuj.dawar(at)cl.cam.ac.uk **********************************************************************