skip to content
 

Participants (SASW05)

Note: This list may not include "Semantics and Syntax: A Legacy of Alan Turing" programme participants whose visits coincide with the workshop.

E.g., 2018-06-25
E.g., 2018-06-25
Name Home Institution Visit Dates
George Barmpalias  Chinese Academy of Sciences 09 January to 09 January
Arnold Beckmann    Swansea University 09 January to 09 January
Luca Cardelli  Microsoft Research 09 January to 09 January
Omar Choudary  University of Cambridge 31 January to 02 February
Barry Cooper    University of Leeds 09 January to 09 January
Anuj Dawar    University of Cambridge 09 January to 09 January
Robert Henderson  University of East Anglia 09 January to 09 January
Mark Hogarth    University of Cambridge 09 January to 09 January
Bjarki Holm    University of Cambridge 09 January to 09 January
Martin Hyland  University of Cambridge 09 January to 09 January
Tanmay Inamdar  Universiteit van Amsterdam 09 January to 09 January
Carlos León  Universität Hamburg 09 January to 09 January
Angsheng Li  Chinese Academy of Sciences 09 January to 09 January
Zhenhao Li  Universiteit van Amsterdam 09 January to 09 January
Benedikt Lowe    [University of Amsterdam]; Universiteit van Amsterdam 09 January to 09 January
Ian Mackie  Laboratoire d'Informatique de l'Ecole Polytechnique 09 January to 09 January
Ken Moody University of Cambridge 09 January to 09 January
Anthony Morphett    Australian Catholic University 09 January to 09 January
Grant Passmore    University of Cambridge 09 January to 09 January
Michael Rathjen    University of Leeds 09 January to 09 January
Søren Riis    Queen Mary, University of London 09 January to 09 January
Peter Schuster    University of Leeds 09 January to 09 January
Anton Setzer    Swansea University 09 January to 09 January
Nigel Smart    University of Bristol 09 January to 09 January
Fenner Tanswell  Universiteit van Amsterdam 09 January to 09 January
Neil Thapen    Academy of Sciences of the Czech Republic 09 January to 09 January
Jouko Väänänen    University of Helsinki and University of Amsterdam 09 January to 09 January
Linda Westrick  University of California, Berkeley 09 January to 09 January
David Wilson  University of Bath 09 January to 09 January
Glynn Winskel    University of Cambridge 09 January to 09 January
W Hugh Woodin  University of California, Berkeley 09 January to 09 January
Shaoshi Yang  University of Southampton 09 January to 09 January
Shengyang Zhong  Universiteit van Amsterdam 09 January to 09 January
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons