TURING CENTENARY CONFERENCE
http://www.cie2012.eu
Computability in Europe 2012: How the World Computes
University of Cambridge
Cambridge, 1823 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.
Its central theme is the computabilitytheoretic concerns underlying the
broad spectrum of Turing's interests, and the contemporary research areas
founded upon and animated by them. In this sense, CiE 2012, held in
Cambridge in the week running up to the centenary of Turing's birthday,
deals with the essential core of what made Turing's contribution so
influential and longlasting.
CiE 2012 promises to be an event worthy of the remarkable scientific
career it commemorates.
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), Rodney Downey (Wellington),
Yuri Gurevich (Microsoft), Juris Hartmanis (Cornell), Richard Jozsa
(Cambridge), Stuart Kauffman (Vermont/ Santa Fe), James Murray
(Washington/ Oxford, Microsoft Research Lecture), Stuart Shieber
(Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard,
jointly organised lecture with King's College).
SUBMISSION OF PAPERS and informal presentations are now invited for this
historic event.
For submission details, see:
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/givepage.php?12
The CONFERENCE PROCEEDINGS will be published by LNCS, SpringerVerlag.
There will also be postconference publications, drawing on contributions
presented at the conference.
IMPORTANT DATES:


SPECIAL SESSIONS include:
 The Universal Turing Machine, and History of the Computer
Chairs: Jack Copeland and John Tucker
 Cryptography, Complexity, and Randomness
Chairs: Rod Downey and Jack Lutz
 The Turing Test and Thinking Machines
Chairs: Mark Bishop and Rineke Verbrugge
 Computational Models After Turing:
The ChurchTuring Thesis and Beyond
Chairs: Martin Davis and Wilfried Sieg
 Morphogenesis/Emergence as a Computability Theoretic
Phenomenon
Chairs: Philip Maini and Peter Sloot
 Open Problems in the Philosophy of Information
Chairs: Pieter Adriaans and Benedikt Loewe
CiE 2012 will be associated/colocated with a number of other Turing
centenary events, including:
 ACE 2012, June 1516, 2012
 Computability and Complexity in Analysis
(CCA 2012), June 2427, 2012
http://ccanet.de/cca2012/
 Developments in Computational Models (DCM 2012),
June 17, 2012
http://www.math.unihamburg.de/home/loewe/DCM2012/
 THE INCOMPUTABLE at Kavli Royal Society International Centre
Chicheley Hall, June 1215, 2012
http://www.mathcomp.leeds.ac.uk/turing2012/inc/
CiE 2012 CONFERENCE TOPICS include, but not exclusively 

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.
Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:

The PROGRAMME COMMITTEE cordially invites all researchers (European and
nonEuropean) in computability related areas to submit their papers (in
PDFformat, max 10 pages) for presentation at CiE 2012. We particularly
invite papers that build bridges between different parts of the research
community.
The conference is sponsored by the ASL, EACSL, IFCoLog, King's College
Cambridge, The University of Cambridge and Microsoft Research.
Contact: Anuj Dawar  anuj.dawar at cl.cam.ac.uk
