July 14Overview: Turing's life, connections and main achievements
July 15Alan Turing and the Mathematics of the Unsolvable
July 16The Chomsky Hierarchy Turing Machines
July 17Machine Intelligence
July 18Does Gödel's Theorem Refute Weak AI?
A lecture by Andrew Hodges on Turing and Penrose
July 20Turing and the Riemann Hypothesis