|
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,
philosophy and the wider scientific world. Its central theme is the
computability-theoretic 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 long-lasting. CiE 2012
promises to be an event worthy of the remarkable scientific career
it commemorates.
|
|
Programme Committee:
S Barry Cooper (Leeds, Co-chair),
Anuj Dawar (Cambridge, Co-chair)
Organising Committee:
Luca Cardelli,
S Barry Cooper (Leeds),
Ann Copestake,
Anuj Dawar (Chair),
Martin Hyland,
Andrew Pitts
|
Picture of King's College Chapel in Cambridge
Picture of Bletchley Park Bombe rebuild
The Alan Turing Memorial in Sackville Park, Manchester
|