Department of Computer ScienceTuring 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. |