Turing Year Seminars, Spring 2012
2012 is the centenary of the birth of Alan Turing, one of the founders of Computer Science. To mark this year, staff from the Computer Science department will give a series of seminars on aspects of Turing's work. These seminars are aimed broadly at a general scientific audience, and all are welcome to attend.
The seminars take place in the CS conference room on Thursdays at 10am, unless otherwise indicated. As the location and date may be subject to change from week to week, it would be advisable to check back here before making arrangements to attend.
Thursday 9 Feb:
Tom Naughton: Turing's proof of undecidability of the halting problem
Thursday 23 Feb:
James Power: From ordinals to oracles: snippets from Turing's PhD thesis
Thursday 8 Mar:
Stephen Brown: Alan Turing's ACE Computer
Thursday 22 Mar:
Barak Pearlmutter: Turing and "The Chemical Basis of Morphogenesis": How the Leopard Got His Spots
Thursday 5 Apr:
Philippe Moser: Chaitin's Omega: a portable version of Turing's halting problem
Thursday 19 Apr:
Tom Dowling: Beyond Enigma, Turing's influence on Cryptography
Thursday 3 May:
Rosemary Monahan: An early program proof by Turing
Thursday 17 May:
Phil Maguire: Can a machine think?: The influence of Turing's test on the philosophy of mind
In September 2012 we'll be starting our new
BSc in Computational Thinking|
uniting Turing's fields of computer science, mathematics and philosophy.