|
Isaac Newton Institute for Mathematical Sciences
Logic and Algorithms
16 Jan-7 Jul
List of long stay invited participants
| Name | Institution | Visit Dates |
Abdullah, P  | Uppsala University | 30 Apr - 24 May |
Alechina, N  | University of Nottingham | 16 Jan - 7 Jul |
Amir, E  | University of Illinois | 7 May - 17 May |
| 28 May - 7 Jun |
Arratia Quesada, A  | Universidad de Valladolid | 15 Feb - 4 Mar |
| 20 Mar - 21 Mar |
| 3 Jul - 7 Jul |
Atserias, A A  | Universitat Politecnica de Catalunya | 16 Jan - 4 Mar |
| 9 Apr - 13 Apr |
Beeri, C  | The Hebrew University of Jerusalem | 1 Feb - 17 Mar |
Bierman, G  | Microsoft Research Cambridge | 16 Jan - 7 Jul |
Bouajjani, A  | University of Paris 7 | 7 May - 4 Jun |
Bulatov, A  | Simon Fraser University | 16 Jan - 19 Mar |
Cardelli, L  | Microsoft Research Cambridge | 16 Jan - 7 Jul |
Chen, H  | Universitat Pompeu Fabra | 29 Jan - 24 Feb |
Cook, B  | Microsoft Research Cambridge | 16 Jan - 7 Jul |
Cook, S  | University of Toronto | 9 Apr - 14 Apr |
| 2 May - 30 Jun |
Dalmau, V D  | Universitat Pompeu Fabra | 20 Feb - 20 Mar |
Dantchev, S  | University of Durham | 20 Mar - 24 Mar |
| 2 Apr - 29 Apr |
Dawar, A  | University of Cambridge | 16 Jan - 7 Jul |
Diekert, V  | Universitat Stuttgart, FMI | 28 Jun - 7 Jul |
Etessami, K  | University of Edinburgh | 8 May - 12 May |
| 8 Jun - 7 Jul |
Fiore, M  | University of Cambridge | 17 Jan - 7 Jul |
Fisler, K  | Worcester Polytechnic Institute | 18 Mar - 9 Apr |
| 7 May - 13 May |
Fournet, C  | Microsoft Research Cambridge | 16 Jan - 7 Jul |
Gastin , P  | Laboratoire Spécification et Vérification | 26 Jun - 7 Jul |
Gordon, M  | University of Cambridge | 16 Jan - 7 Jul |
Gordon, A  | Microsoft Research Cambridge | 16 Jan - 7 Jul |
Goranko, V  | University of the Witwatersrand | 26 Feb - 19 Mar |
| 20 Mar - 24 Mar |
| 3 Jul - 7 Jul |
Griffin, T  | University of Cambridge | 16 Jan - 7 Jul |
Hella , L  | University of Tampere | 16 Jan - 7 Jul |
Hoare, T  | Microsoft Research Cambridge | 16 Jan - 7 Jul |
Hodges, W  | Queen Mary, University of London | 26 Mar - 29 Apr |
Hyland, M  | University of Cambridge | 16 Jan - 7 Jul |
Kolaitis, P  | IBM Almladen Research Center | 26 Feb - 19 Mar |
Krajicek, J  | Prague | 16 Jan - 7 Jul |
Kreutzer, S  | Humboldt-Universitat zu Berlin | 26 Feb - 3 Jun |
| 2 Jul - 7 Jul |
Krokhin, A  | University of Durham | 17 Feb - 19 Mar |
| 7 May - 12 May |
Kulesza, K  | University of Cambridge | 16 Jan - 7 Jul |
Kun, G  | Eotvos University | 5 Mar - 19 Mar |
| 20 Mar - 24 Mar |
Kwiatkowska, M Z  | University of Birmingham | 27 Feb - 2 Mar |
| 2 May - 19 May |
Lynch, JF  | Clarkson University | 26 Feb - 4 Mar |
| 15 Jun - 7 Jul |
Manna, Z  | Stanford University | 6 May - 13 May |
Martin, U  | Queen Mary, University of London | 16 Jan - 7 Jul |
Marcinkowski, J  | Wroclaw University | 16 Jan - 3 Mar |
Michaux, C  | Universite de Mons-Hainaut | 1 Feb - 30 May |
| 2 Jul - 7 Jul |
Mildmann, T  | University of Bristol | 7 Mar - 23 Mar |
| 11 Apr - 14 Apr |
| 2 May - 4 May |
Mitchell, D  | Simon Fraser University | 7 May - 12 May |
| 17 Jun - 7 Jul |
Moller, F  | University of Wales, Swansea | 11 Jun - 7 Jul |
Nesetril, J  | Charles University | 5 Mar - 29 Mar |
Niwinski, D | Warsaw university | 12 Jun - 7 Jul |
Ong, L  | University of Oxford | 16 Jan - 2 Apr |
| 2 Jul - 7 Jul |
Pitts, A  | University of Cambridge | 16 Jan - 7 Jul |
Pudlak, P  | Mathematical Institute, AS CR | 3 Apr - 26 Apr |
Richerby, D  | University of Athens | 4 Jun - 21 Jun |
Rossman, B  | Massachusetts Institute of Technology | 20 Mar - 24 Mar |
| 25 Mar - 2 Apr |
Rubin, S  | University of Auckland | 16 Jan - 3 Feb |
Schweikardt, N  | Humboldt-Universitat zu Berlin | 26 Feb - 16 Mar |
Szeider, S  | University of Durham | 26 Feb - 3 Mar |
| 20 Mar - 23 Mar |
| 24 Mar - 30 Mar |
Ternovska, E  | Simon Fraser University | 17 Jun - 8 Jul |
Trefler, R  | University of Waterloo | 25 May - 7 Jul |
Vaananen, J  | University of Helsinki | 31 Mar - 1 May |
| 14 Jun - 21 Jun |
Vardi, M  | Rice University | 16 Jan - 7 Jul |
Vollmer, H  | Universitaet Hannover | 30 Apr - 29 Jun |
Vorobyov, S  | Uppsala University | 20 Mar - 24 Mar |
| 3 Apr - 14 May |
| 5 Jun - 16 Jun |
| 2 Jul - 7 Jul |
Weinstein, S  | University of Pennsylvania | 12 Feb - 18 Mar |
Wilke, T  | Christian-Albrechts-Universitaet zu Kiel | 7 Mar - 24 Mar |
Winskel, G  | University of Cambridge | 16 Jan - 7 Jul |
* = denotes visit awaiting confirmation
Please note: This list contains the names of those attending the programme for fifteen days or more. For information on those attending for fourteen days or
fewer please see: Short stay participants.
|