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 q0JBUY5K012097 for ; Thu, 19 Jan 2012 12:30:34 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjIBAGX+F0+BCyQBkWdsb2JhbAAqGgKdUwGPA4EBIgEBAQEJCwsHFAUggXQiS1mBHYdwJJhqoAWIfQ0BDAURAT8BEAcRByIIBwMCBwEBAgEBBQMBAQEBAgsDAQEdBQgMBx0NJwgDHIE3Dm8MgxwElRSSSA X-IronPort-AV: E=Sophos;i="4.71,535,1320620400"; d="scan'208";a="140538657" Received: from amsta.leeds.ac.uk ([129.11.36.1]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Jan 2012 12:30: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 q0JBUPeT014005 for ; Thu, 19 Jan 2012 11:30:29 GMT Received: (from pmt6sbc@localhost) by maths.leeds.ac.uk (8.14.1/8.13.4/Submit) id q0JBTWrG012496 for caml-list@inria.fr; Thu, 19 Jan 2012 11:29:32 GMT Date: Thu, 19 Jan 2012 11:29:32 GMT From: S B Cooper Message-Id: <201201191129.q0JBTWrG012496@maths.leeds.ac.uk> To: caml-list@inria.fr X-Validation-by: pmt6sbc@maths.leeds.ac.uk Subject: [Caml-list] Turing Centenary Conference (CiE 2012) - Final submission arrangements --------------------------------------------------------------------------- FINAL SUBMISSION INFORMATION --------------------------------------------------------------------------- Turing Centenary Conference (CiE 2012) University of Cambridge, UK June 18 to 23, 2012 http://www.cie2012.eu All final submissions needed by 27 JANUARY 2012* * With CiE 2012 submissions running at unprecedented levels, and the organisers receiving numerous requests for extensions: The server for submissions to the Turing Centenary Conference: CiE 2012 will remain open for new submissions until the end of Sunday, 22 January. Revised versions of papers may be submitted until the end of Friday, 27 January as long as an abstract has been submitted by the end of Sunday, 22 January. --------------------------------------------------------------------------- Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. The 2012 Turing Centenary Conference will be especially broad, bringing together researchers from the full community influenced by the seminal work of Turing and his contemporaries. For details of the full range of topics, we refer to the original Call for Papers at: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?42 Best wishes Anuj Dawar and Barry Cooper co-chairs, Turing Centenary Conference __________________________________________________________________________ CiE 2012: Turing Centenary Conference http://www.cie2012.eu ALAN TURING YEAR http://www.turingcentenary.eu AlanTuringYear on Twitter http://twitter.com/AlanTuringYear __________________________________________________________________________