[Agda] Turing Centenary Conference (CiE 2012) - Final submission arrangements

S B Cooper pmt6sbc at maths.leeds.ac.uk
Thu Jan 19 12:29:30 CET 2012


---------------------------------------------------------------------------
                   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
<https://www.easychair.org/account/signin.cgi?conf=cie2012> 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
__________________________________________________________________________



More information about the Agda mailing list