Department of Computer Science 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: The post-Turing World: a new mathematics where almost all points have dimension 1.

• 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 case it's useful, here's a Google calendar with the relevant dates and times: