Isaac Newton Institute for Mathematical Sciences

Semantics and Syntax: A Legacy of Alan Turing

9 January - 6 July 2012

Organisers: Arnold Beckmann (Swansea), Barry Cooper (Leeds), Benedikt Lwe (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

Other events of interest to participants are: