Semantics and Syntax: A Legacy of Alan Turing

Organisers: Arnold Beckmann (Swansea), Barry Cooper (Leeds), Benedikt Löwe (Amsterdam), Elvira Mayordomo (Zaragoza) and Nigel Smart (Bristol)

Scientific Advisory Committee: Samson Abramsky (Oxford), Steve Cook (Toronto), Jan Denef (Leuven), Martin Hyland (Cambridge), Arjen Lenstra (EPFL), Angus MacIntyre (Queen Mary), Jacques Stern (ENS Paris), and Hugh Woodin (Berkeley)

Workshops

9 January 2012
"The Mathematical Legacy of Alan Turing" Public opening of the SAS programme (Spitalfields Day)
(Organiser: Benedikt Löwe)
31 January - 2 February 2012
Is Cryptographic Theory Practically Relevant?
(Organisers: Kenny Paterson, Nigel Smart)
14-16 March 2012
Pattern Formation: The inspiration of Alan Turing (A Satellite Meeting at St. John's College, Oxford)
(Organisers: Bernold Fiedler, Benedikt Löwe, Philip Maini)
26-30 March 2012
Logical Approaches to Barriers in Complexity II
(Organisers: Arnold Beckmann, Anuj Dawar)
10-13 April 2012
Formal and Computational Cryptographic Proofs
(Organisers: Nigel Smart, Shafi Goldwasser)
12-15 June 2012
The Incomputable (A Satellite Meeting at Chicheley Hall, Newport Pagnell)
(Organisers: Barry Cooper, Mariya Soskova)
2-6 July 2012
7th Conference on Computability, Complexity and Randomness
(Organisers: Elvira Mayordomo, Wolfgang Merkle)

Other events of interest to participants are:

18-19 February 2012
Turing in Context, an event will be held at King's College, Cambridge, partially sponsored by the Isaac Newton Institute
18 March 2012
2012 Turing Trail Relay, a running event will be held in Ely and Cambridge.
15-19 April 2012
EuroCrypt 2012 will be held in Cambridge
17 June 2012
DCM 2012: Developments in Computational Models will be held at Corpus Christi College, Cambridge
18-23 June 2012
The Turing Centenary Conference CiE 2012: How the World Computes will be held at the New Museums Site in Cambridge
24-27 June 2012
CCA 2012: Computability and Complexity in Analysis will be held in Cambridge