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)

SAS Seminars

The programme Semantics and Syntax: A Legacy of Alan Turing will host a total of 124 visiting fellows, 23 programme participants, and several hundred workshop participants. These people work in many different areas inspired by Alan Turing whose centenary will be celebrated in 2012. In order to create a cohesive programme, it is therefore important to allow information exchange about the research that is done by our fellows.

Our programme will have two meetings of the SAS Seminar every week, in the afternoon of Tuesday and Thursday. During this seminar, our visiting fellows will present the research they plan to do at the INI in a short 30-minute presentation. The talks are meant as 'teasers' that allow other visiting fellows to get interested in your research.

The abstracts of these teaser talks are part of a booklet denoted SAS Acts. The booklet is a live document and grows over the course of our programme.

Alan Turing Year logo