From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1RDQPhL028311 for ; Mon, 27 Feb 2012 14:26:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuYEAP+DS0+BCyQBe2dsb2JhbAApGqI6j3gCgQQiAQEWJgUigW8GIksFhyUHgicQCymfHpgSiXSCHWscaguEQwgBAXYOAwQlgysElT2Sbm1n X-IronPort-AV: E=Sophos;i="4.73,490,1325458800"; d="scan'208";a="146227172" Received: from amsta.leeds.ac.uk ([129.11.36.1]) by mail1-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2012 14:26:29 +0100 Received: from maths.leeds.ac.uk (localhost [127.0.0.1]) by amsta.leeds.ac.uk (8.14.1/8.14.1) with ESMTP id q1RDQQAu011313 for ; Mon, 27 Feb 2012 13:26:29 GMT Received: (from pmt6sbc@localhost) by maths.leeds.ac.uk (8.14.1/8.13.4/Submit) id q1RDPvv4010283 for caml-list@inria.fr; Mon, 27 Feb 2012 13:25:57 GMT Date: Mon, 27 Feb 2012 13:25:57 GMT From: S B Cooper Message-Id: <201202271325.q1RDPvv4010283@maths.leeds.ac.uk> To: caml-list@inria.fr X-Validation-by: pmt6sbc@maths.leeds.ac.uk Subject: [Caml-list] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012 THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ First announcement and call for submissions Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award (3) Three panels and two public lectures (4) Turing Fellowship award ceremony (5) and many more ... For more details please check http://www.turing100.manchester.ac.uk/. SPEAKERS Confirmed invited speakers: - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) - Vint Cerf (Google) - Ed Clarke (Carnegie Mellon University) - Jack Copeland (University of Canterbury, New Zealand) - George Francis Rayner Ellis (University of Cape Town) - David Ferrucci (IBM) - Tony Hoare (Microsoft Research) - Garry Kasparov (Kasparov Chess Foundation) - Don Knuth (Stanford University) - Yuri Matiyasevich (Institute of Mathematics, St. Petersburg) - Roger Penrose (Oxford) - Adi Shamir (Weizmann Institute of Science) - Michael Rabin (Harvard) - Leslie Valiant (Harvard) - Manuela M. Veloso (Carnegie Mellon University) - Andrew Yao (Tsinghua University) Confirmed panel speakers: - Ron Brachman (Yahoo Labs) - Steve Furber (The University of Manchester) - Carole Goble (The University of Manchester) - Pat Hayes (Institute for Human and Machine Cognition, Pensacola) - Bertrand Meyer (Swiss Federal Institute of Technology) - Moshe Vardi (Rice University) SUBMISSIONS: Submissions are welcome in all areas related to the work of Alan Turing in computer science, mathematics, cognitive science and mathematical biology. A non-exclusive list of topics is shown below: - computation theory - logic in computation - artificial intelligence - social aspects of computation - models of computation - program analysis - mathematics of evolution and emergence - knowledge processing - natural language processing - cryptography - machine learning See http://www.turing100.manchester.ac.uk/index.php/submission for more details. BEST PAPER AWARDS: A subset of poster session submissions will be selected as candidates for best paper awards: - The best paper award of 5,000 pounds - The best young researcher best paper award of 3,000 pounds - The second best paper award of 2,500 pounds - The second best young researcher best paper award of 1,500 pounds - Sixteen (16) awards of 500 pounds each See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper for more details. REGISTRATION: The number of participants is limited. Register early to avoid disappointment! DATES: February 23: Paper submission opens March 1: Registration opens March 15: Extended abstract submission deadline March 29: Poster session notification and selection of candidates for the best paper awards April 20: Full versions of papers selected for the best paper awards May 1: Final versions of poster session papers May 21: Best paper award decisions May 28: Final versions of papers selected for the best paper awards June 22-25: Conference CHAIRS: Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Programme Chair Andrei Voronkov (The University of Manchester) __________________________________________________________________ The Alan Turing Year http://www.turingcentenary.eu/