Workshop Programme
for period 9 Jan 2012
The Mathematical Legacy of Alan Turing (Spitalfields Day)
9 Jan 2012
Timetable
| Monday 09 January | ||
| 10:30-11:00 | Registration | SAS |
| 11:00-11:30 | SAS | |
| Spitalfields Day Welcome: The Mathematical Legacy of Alan Turing | Sem 1 | |
| 11:30-12:30 | Woodin, H (UC Berkeley, USA) | SAS |
| The global structure of the Turing degrees and the bi-interpretability conjecture | Sem 1 | |
| 12:30-14:00 | Lunch | SAS |
| 14:00-15:00 | Smart, N (University of Bristol, UK) | SAS |
| Modern cryptography for non-cryptographers | Sem 1 | |
| 15:00-15:15 | Tea & Coffee | SAS |
| 15:15-16:15 | Barmpalias, G (Chinese Academy of Sciences, China) | SAS |
| Measures of Relative Complexity | Sem 1 | |
| 16:15-16:30 | Tea & Coffee | SAS |
| 16:30-17:30 | Dawar, A (University of Cambridge, UK) | SAS |
| On syntactic and semantic complexity classes | Sem 1 | |
| 17:30-19:00 | Drinks Reception | SAS |
| Thursday 15 March | ||
| 17:40-17:50 | Break | SAS |
| Other Seminars |
|
Seminars in the University National and International Scientific Research Meetings |