Isaac Newton Institute for Mathematical Sciences
Semantics and Syntax: A Legacy of Alan Turing
9 January - 6 July 2012
List of Invited Participants
| Status | Name | Institution | Visit Dates |
| VF | Abramsky, S   |
University of Oxford | 3 Apr - 31 May
11 Jun - 16 Jun |
| VF | Aczel, PHG |
University of Manchester | 15 Jan - 26 Mar
29 Apr - 29 May |
| VF | Alama, JA |
Universidade Nova de Lisboa (UNL) | 15 Jan - 15 Apr |
| VF | Ambos-Spies, K |
Universität Heidelberg | 1 Mar - 23 Mar
24 Mar - 31 Mar 11 Jun - 16 Jun |
| VF | Arslanov, M |
Kazan State University | 1 Mar - 27 Mar
11 Jun - 16 Jun |
| VF | Atserias, AA |
Universitat Politècnica de Catalunya | 11 Jan - 21 Feb
26 Mar - 30 Mar |
| VF | Avigad, J |
Carnegie Mellon University | 23 May - 31 May |
| PP | Badillo-Sanchez, L |
University of Leeds | 20 Feb - 23 Feb
12 Mar - 16 Mar 4 Jun - 24 Jun 12 Jun - 12 Jun 5 Jul - 6 Jul |
| VF | Barthe, G |
Madrid Institute of Advanced Studies (IMDEA) | 8 Apr - 21 Apr |
| VF | Barmpalias, G |
Chinese Academy of Sciences | 9 Jan - 19 Feb
2 Jul - 6 Jul |
| VF | Beckmann, A |
Swansea University | 9 Jan - 14 Mar
25 Mar - 5 Apr 16 Apr - 6 Jul 12 Jun - 12 Jun |
| VF | Becher, V |
Universidad de Buenos Aires | 17 Jun - 6 Jul |
| PP | Becker-Asano, CW |
Albert-Ludwigs-Universität Freiburg | 8 Mar - 15 Mar |
| VF | Berger, UJ |
Swansea University | 15 May - 14 Jun |
| VF | Blanchet, BM |
École Normale Supérieure | 9 Apr - 14 Apr |
| PP | Blum, LE |
Carnegie Mellon University | 17 Jun - 25 Jun |
| PP | Boyle, E |
Massachusetts Institute of Technology | 9 Jun - 16 Jun |
| VF | Brattka, V |
University of Cape Town | 9 Jun - 6 Jul
12 Jun - 12 Jun |
| VF | Bridges, DS |
University of Canterbury | 22 Jan - 30 Jan |
| VF | Brooke-Taylor, AD |
Kobe University | 2 Feb - 6 Feb
7 Feb - 9 Feb 27 Apr - 29 Apr |
| VF | Buss, SR |
University of California, San Diego | 25 Mar - 1 Apr |
| VF | Calude, CS |
University of Auckland | 4 Jun - 6 Jul |
| PP | Cardelli, L |
Microsoft Research | 9 Jan - 6 Jul
12 Jun - 15 Jun |
| VF | Carl, NPM |
Universität Bonn | 11 Feb - 29 Feb |
| VF | Cavagnetto, S |
Prague College | 31 Jan - 13 Feb |
| VF | Cenzer, DA |
University of Florida | 14 Jan - 2 Feb
11 Jun - 16 Jun |
| PP | Chiodo, MC |
University of Melbourne | 16 Jan - 6 Jul |
| VF | Cholak, P |
University of Notre Dame | 15 Jun - 6 Jul |
| VF | Cooper, SB |
University of Leeds | 9 Jan - 6 Jul |
| VF | Cook, S |
University of Toronto | 1 May - 13 Jun |
| PP | Cramer, M |
Universität Bonn | 25 Mar - 31 Mar |
| VF | Dantchev, S |
Durham University | 19 Mar - 20 Apr |
| VF | Davis, MD |
New York University | 1 Feb - 1 Mar
17 Jun - 22 Jun |
| PP | Dawar, A |
University of Cambridge | 9 Jan - 6 Jul |
| VF | De Mol, L | Universiteit Gent | 13 Jun - 24 Jun |
| VF | de Miguel Casado, G |
Universidad de Zaragoza | 24 Feb - 9 Mar |
| VF | Dodis, Y |
New York University | 9 Apr - 20 Apr |
| VF | Downey, RG |
Victoria University of Wellington | 14 Jan - 6 Jul
13 Mar - 16 Mar 11 Jun - 13 Jun |
| VF | Escardo, M |
University of Birmingham | 28 May - 28 Jun |
| VF | Etessami, K |
University of Edinburgh | 9 Apr - 13 Apr |
| PP | Fellows, M |
Charles Darwin University | 28 Jun - 7 Jul |
| PP | Fisseni, B |
Universität Duisburg-Essen | 15 Jan - 25 Feb
25 Mar - 5 Apr |
| PP | Fournet, C |
Microsoft Research | 31 Jan - 6 Jul |
| VF | Freer, CE |
Massachusetts Institute of Technology | 5 Feb - 26 Feb
12 Jun - 15 Jun |
| VF | Friedman, SD |
Universität Wien | 12 Mar - 16 Mar
11 Jun - 15 Jun |
| VF | Garlik, M |
Charles University, Prague | 2 May - 25 May |
| PP | Glaschick, R |
Heinz Nixdorf MuseumsForum | 12 Apr - 19 Apr |
| VF | Goldwasser, S |
Massachusetts Institute of Technology | 9 Apr - 13 Apr
9 Jun - 23 Jun |
| PP | Gordon, AD |
Microsoft Research | 10 Jan - 6 Jul |
| VF | Greiffenhagen, C |
University of Manchester | 23 Jan - 27 Jan
14 May - 19 May |
| PP | Greenberg, N |
Victoria University of Wellington | 16 Jun - 6 Jul |
| PP | Groth, J |
University College London | 11 Jan - 6 Jul |
| VF | Hamkins, JD |
City University of New York | 21 Mar - 20 Apr
11 Jun - 16 Jun 16 Jun - 24 Jun |
| PP | Hartmanis, J |
Cornell University | 18 Jun - 23 Jun |
| PP | Herbert, I |
University of California, Berkeley | 12 Feb - 10 Mar
1 Jul - 7 Jul |
| PP | Hodges, AP |
University of Oxford | 27 Mar - 28 Mar |
| PP | Hogarth, M |
University of Cambridge | 9 Jan - 6 Jul |
| PP | Holm, B |
University of Cambridge | 9 Jan - 6 Jul |
| PP | Hyland, JME |
University of Cambridge | 9 Jan - 6 Jul |
| VF | Inamdar, T |
Universiteit van Amsterdam | 9 Jan - 30 Jan |
| VF | Jerábek , E |
Academy of Sciences of the Czech Republic | 26 Mar - 12 Apr |
| PP | Kabanets, V |
Simon Fraser University | 23 Apr - 6 Jul |
| VF | Kalimullin, I |
Kazan State University | 1 Mar - 27 Mar |
| VF | Knight, JF |
University of Notre Dame | 29 May - 4 Jun |
| VF | Koepke, P |
Universität Bonn | 12 Feb - 3 Apr
4 Apr - 9 Apr 13 Jun - 22 Jun |
| VF | Kolaitis, PG |
University of California, Santa Cruz | 29 Mar - 25 Apr |
| VF | Kolokolova, A |
Memorial University of Newfoundland | 23 Apr - 6 Jul
12 Jun - 12 Jun |
| PP | Kondo, S |
Osaka University | 13 Mar - 17 Mar
18 Jun - 26 Jun |
| VF | Krajicek, J |
Charles University, Prague | 19 Mar - 13 Jun |
| VF | Krawczyk, H |
IBM Research | 29 Jan - 3 Feb |
| VF | Lange, K |
Wellesley College | 16 May - 27 May |
| VF | Lempp, S |
University of Wisconsin-Madison | 11 Feb - 26 Feb |
| VF | León, C |
Universität Hamburg | 9 Jan - 25 Jan |
| VF | Lewis, AEM |
University of Leeds | 15 Feb - 28 Feb
21 Apr - 7 May 19 May - 6 Jul |
| VF | Li, A |
Chinese Academy of Sciences | 9 Jan - 9 Feb |
| VF | Li, Z |
Universiteit van Amsterdam | 9 Jan - 29 Feb
30 Apr - 10 Jun 12 Jun - 15 Jun |
| VF | Lowe, B |
Universiteit van Amsterdam | 9 Jan - 13 Mar
14 Mar - 16 Mar 17 Mar - 6 Jul 11 Jun - 11 Jun |
| VF | Lubarsky, RS |
Florida Atlantic University | 10 May - 28 Jun
12 Jun - 12 Jun |
| VF | Lutz, JH |
Iowa State University | 29 Feb - 18 May
26 Jun - 6 Jul |
| VF | Mackie, I |
Laboratoire d'Informatique de l'Ecole Polytechnique | 9 Jan - 20 Jan |
| PP | Madzvamuse, A |
University of Sussex | 18 Jun - 26 Jun |
| VF | Matiyasevich, Y |
Russian Academy of Sciences | 9 Jan - 15 Feb
11 Jun - 16 Jun |
| VF | Maurer, U |
ETH Zürich | 9 Apr - 13 Apr |
| VF | Mayordomo, E |
Universidad de Zaragoza | 29 Apr - 6 Jul |
| VF | Melnikov, AG |
Nanyang Technological University | 30 Apr - 20 May
23 Jun - 27 Jun |
| VF | Merkle, W |
Universität Heidelberg | 11 Jun - 15 Jun
1 Jul - 6 Jul |
| VF | Miller, RG |
City University of New York | 19 Jan - 2 Feb
12 Feb - 27 Feb 12 Jun - 15 Jun |
| PP | Millikan, RG |
University of Connecticut | 12 Jun - 23 Jun |
| VF | Montalban, A |
University of Chicago | 11 Feb - 23 Feb
11 Jun - 24 Jun |
| PP | Moody, JKM | University of Cambridge | 9 Jan - 6 Jul |
| VF | Morphett, AW |
Australian Catholic University | 9 Jan - 31 Jan |
| PP | Müller, S |
Charles University, Prague | 1 May - 31 May |
| PP | Murphy, N |
Universidad Politécnica de Madrid | 12 Apr - 18 Apr |
| VF | Naccache, D |
ENS - Paris | 29 Jan - 31 Jan |
| VF | Natarajan, R |
Tata Institute of Fundamental Research | 30 Apr - 1 Jun |
| PP | Neary, T |
University of Zurich and ETH Zurich | 13 Apr - 18 Apr |
| PP | Nebel, B |
Albert-Ludwigs-Universität Freiburg | 8 Mar - 15 Mar |
| VF | Nies, A |
University of Auckland | 3 Jun - 6 Jul |
| VF | Normann, D |
University of Oslo | 25 May - 25 Jun
12 Jun - 12 Jun |
| PP | Passmore, GO |
University of Cambridge | 9 Jan - 6 Jul |
| VF | Pattinson, D |
Imperial College London | 3 Apr - 30 Apr |
| VF | Paterson, KG |
University of London | 30 Jan - 2 Feb
10 Apr - 31 May |
| PP | Patel, R |
Wesleyan University | 12 Jun - 15 Jun
16 Jun - 30 Jun |
| PP | Pauly, AM |
University of Cambridge | 14 Feb - 6 Jul |
| VF | Pich, J |
Charles University, Prague | 1 Mar - 31 Mar
1 Apr - 1 May 2 May - 11 May |
| VF | Pointcheval, D |
ENS - Paris | 10 Apr - 19 Apr |
| VF | Primiero, G |
Universiteit Gent | 3 Feb - 7 Mar
6 Jun - 2 Jul 12 Jun - 12 Jun |
| VF | Pudlak, P |
Academy of Sciences of the Czech Republic | 25 Mar - 20 Apr |
| VF | Ramanujam, R |
Institute of Mathematical Sciences, Chennai | 20 May - 13 Jun |
| VF | Rathjen, M |
University of Leeds | 9 Jan - 18 Jan |
| PP | Razafindrakoto, JJ |
Swansea University | 26 Mar - 30 Mar
20 May - 22 May |
| PP | Richter, B |
Universität Hamburg | 9 Jan - 31 Mar |
| VF | Riis, S |
Queen Mary, University of London | 9 Jan - 11 May |
| VF | Rogaway, P |
University of California, Davis | 27 Mar - 6 May |
| PP | Roy, DM |
University of Cambridge | 31 Jan - 6 Jul |
| VF | Ryan, M |
University of Birmingham | 23 Apr - 26 Apr |
| VF | Schweikardt, N |
Goethe-Universität Frankfurt | 25 Mar - 2 Apr |
| VF | Schwichtenberg, H |
Ludwig-Maximilians-Universität München | 20 Feb - 17 Mar
4 Jun - 30 Jun |
| VF | Schuster, PM |
University of Leeds | 9 Jan - 18 Jan |
| VF | Seisenberger, M |
Swansea University | 15 May - 14 Jun |
| VF | Setzer, A |
Swansea University | 9 Jan - 18 Mar
26 Apr - 2 Jun |
| VF | Shore, RA |
Cornell University | 15 Jun - 21 Jun |
| VF | Shrimpton, TE |
Portland State University | 30 Jan - 3 Feb |
| VF | Slaman, TA |
University of California, Berkeley | 11 Feb - 10 Mar
11 Jun - 24 Jun |
| VF | Smart, N |
University of Bristol | 8 Jan - 10 Jan
30 Jan - 17 Feb 26 Mar - 27 Apr |
| PP | Smolensky, P |
Johns Hopkins University | 18 Jun - 23 Jun |
| VF | Soare, RI |
University of Chicago | 20 Mar - 7 Jul |
| VF | Sorbi, A |
Università di Siena | 11 Feb - 3 Mar
11 Jun - 16 Jun |
| VF | Soskova, MI |
Sofia University St. Kliment Ohridski | 13 Feb - 27 Feb
16 Apr - 20 Apr 25 May - 26 Jun |
| VF | Soskov, IN |
Sofia University St. Kliment Ohridski | 1 Jun - 18 Jun |
| VF | Soskova, AA |
Sofia University St. Kliment Ohridski | 25 May - 25 Jun |
| VF | Stannett, MP |
University of Sheffield | 28 May - 6 Jul
12 Jun - 12 Jun |
| VF | Steel, G |
École Normale Supérieure | 26 Jan - 2 Feb |
| VF | Tarafder, S |
Universiteit van Amsterdam | 21 Apr - 27 May |
| PP | Tessaro, S |
Massachusetts Institute of Technology | 10 Apr - 13 Apr
9 Jun - 16 Jun |
| VF | Thapen, N |
Academy of Sciences of the Czech Republic | 9 Jan - 6 Jul |
| VF | Tucker, JV |
Swansea University | 11 Jun - 16 Jun |
| VF | Väänänen, J |
University of Helsinki and University of Amsterdam | 9 Jan - 27 Jan |
| PP | Valiant, LG |
Harvard University | 20 Jun - 23 Jun |
| VF | Vardi, MY |
Rice University | 1 Mar - 31 Mar |
| VF | Vaudenay, S |
EPFL - Ecoles Polytechniques Fédérales de Lausanne | 29 Jan - 1 Feb |
| PP | Vermeeren, S |
University of Leeds | 18 Jun - 6 Jul |
| VF | Wainer, SS |
University of Leeds | 20 Feb - 18 Mar
4 Jun - 30 Jun 12 Jun - 12 Jun |
| PP | Wang, ZC |
Charles University, Prague | 2 May - 28 May |
| PP | Wang, Y |
Peking University | 10 Mar - 17 Mar |
| VF | Warinschi, B |
University of Bristol | 9 Apr - 25 May |
| VF | Weiermann, A |
Universiteit Gent | 10 Jan - 15 Jan |
| VF | Welch, PD |
University of Bristol | 1 Feb - 13 Feb
14 Feb - 26 Feb 27 Feb - 3 Apr 1 May - 30 Jun |
| VF | Westrick, L |
University of California, Berkeley | 9 Jan - 23 Jan |
| PP | Winskel, G |
University of Cambridge | 18 Feb - 19 Feb
17 Jun - 17 Jun |
| VF | Witzel, SA |
New York University | 8 Mar - 18 Mar |
| VF | Woodin, WH |
University of California, Berkeley | 9 Jan - 14 Jan |
| PP | Woods, D |
CALTECH (California Institute of Technology) | 12 Apr - 18 Apr |
| VF | Zhong, S |
Universiteit van Amsterdam | 9 Jan - 31 Jan |
- VF = Visiting Fellow of the Institute
- PP = Programme Participant
- * = Visit awaiting confirmation