The year 2012 marks the 100th anniversary of the birth of Alan Turing and the year is full of events to mark the occasion. One of the key ones being a six month research programme on the legacy of his work at the Newton Institute in Cambridge. This programme is being co-organized by our own Prof. Smart.
The Newton Institute programme is entitled Syntax and Semantics and consists of regular weekly talks as well as eight intensive workshops:
- The Mathematical Legacy of Alan Turing
- Is Cryptographic Theory Practically Relevant?
- Pattern Formation: The inspiration of Alan Turing
- Logical Approaches to Barriers in Complexity II
- Formal and Computational Cryptographic Proofs
- The Incomputable
- 7th Conference on Computability, Complexity and Randomness
In addition there are a numebr of additional meetings being held alongside the Newton Institute programme. Of particular relevance to Bristol is the holding of Eurocrypt 2012 in Cambridge.
The first event starts on Monday 9th January with an event open to the general mathematical audience on some of the topics in the legacy of Turing. This Spitalfields Day will consist of four introductory talks. One of these talks will be given by Prof. Smart on Modern cryptography for non-cryptographers