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)

Contacts

Dr A Beckmann
Department of Computer Science
Swansea University
Singleton Park
Swansea
SA2 8PP
Email a.beckmann@swansea.ac.uk

Professor SB Cooper
Department of Pure Mathematics
University of Leeds
Leeds
LS2 9JT
Email s.b.cooper@leeds.ac.uk

Professor B Lwe
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
PO Box 94242
1090 GE Amsterdam
The Netherlands
Email b.loewe@uva.nl

Professor E Mayordomo
University of Zaragoza
Department of Computer and Systems Engineering
María de Luna 3
50018-Zaragoza
Spain
Email elvira@unizar.es

Professor N Smart
Department of Computer Science
University of Bristol
Merchant Venturers Building
Woodland Road
Bristol
BS8 1UB
Email nigel@cs.bris.ac.uk