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