The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

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)

Programme Mailing List

This is a discussion list for participants and others interested in this programme. Details of forthcoming seminars, workshops etc are distributed via the list, and in addition, subscribers can contribute items which will be of interest to other members. Contributors are requested to ensure that items are relevant to the programme and/or its theme and to indicate the content clearly in the subject line.

Anyone may subscribe to or unsubscribe from the list at any time by using the online form.

To send a message to all members of the list, email

If you have any queries about the list please email