skip to content
 

Timetable (SASW05)

The Mathematical Legacy of Alan Turing (Spitalfields Day)

Monday 9th January 2012

Monday 9th January 2012
10:30 to 11:00 Registration
11:00 to 11:30 Spitalfields Day Welcome: The Mathematical Legacy of Alan Turing INI 1
11:30 to 12:30 H Woodin ([UC Berkeley, USA])
The global structure of the Turing degrees and the bi-interpretability conjecture
INI 1
12:30 to 14:00 Lunch
14:00 to 15:00 N Smart ([University of Bristol, UK])
Modern cryptography for non-cryptographers
INI 1
15:00 to 15:15 Tea & Coffee
15:15 to 16:15 G Barmpalias ([Chinese Academy of Sciences, China])
Measures of Relative Complexity
INI 1
16:15 to 16:30 Tea & Coffee
16:30 to 17:30 A Dawar ([University of Cambridge, UK])
On syntactic and semantic complexity classes
INI 1
17:30 to 19:00 Drinks Reception
Thursday 15th March 2012
17:40 to 17:50 Break
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons