Seminars

Visitors

Additional Links

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 Email Address Home Page Uppsala University 30 Apr - 24 May
Alechina, N Email Address Home Page University of Nottingham 16 Jan - 7 Jul
Amir, E Email Address Home Page University of Illinois 7 May - 17 May
28 May - 7 Jun
Arratia Quesada, A Email Address Home Page Universidad de Valladolid 15 Feb - 4 Mar
20 Mar - 21 Mar
3 Jul - 7 Jul
Atserias, A A Email Address Home Page Universitat Politecnica de Catalunya 16 Jan - 4 Mar
9 Apr - 13 Apr
Beeri, C Email Address The Hebrew University of Jerusalem 1 Feb - 17 Mar
Bierman, G Email Address Home Page Microsoft Research Cambridge 16 Jan - 7 Jul
Bouajjani, A Email Address Home Page University of Paris 7 7 May - 4 Jun
Bulatov, A Email Address Home Page Simon Fraser University 16 Jan - 19 Mar
Cardelli, L Email Address Home Page Microsoft Research Cambridge 16 Jan - 7 Jul
Chen, H Email Address Home Page Universitat Pompeu Fabra 29 Jan - 24 Feb
Cook, B Email Address Home Page Microsoft Research Cambridge 16 Jan - 7 Jul
Cook, S Email Address University of Toronto 9 Apr - 14 Apr
2 May - 30 Jun
Dalmau, V D Email Address Universitat Pompeu Fabra 20 Feb - 20 Mar
Dantchev, S Email Address University of Durham 20 Mar - 24 Mar
2 Apr - 29 Apr
Dawar, A Email Address University of Cambridge 16 Jan - 7 Jul
Diekert, V Email Address Home Page Universitat Stuttgart, FMI 28 Jun - 7 Jul
Etessami, K Email Address University of Edinburgh 8 May - 12 May
8 Jun - 7 Jul
Fiore, M Email Address Home Page University of Cambridge 17 Jan - 7 Jul
Fisler, K Email Address Home Page Worcester Polytechnic Institute 18 Mar - 9 Apr
7 May - 13 May
Fournet, C Email Address Home Page Microsoft Research Cambridge 16 Jan - 7 Jul
Gastin , P Email Address Home Page Laboratoire Spécification et Vérification 26 Jun - 7 Jul
Gordon, M Email Address University of Cambridge 16 Jan - 7 Jul
Gordon, A Email Address Home Page Microsoft Research Cambridge 16 Jan - 7 Jul
Goranko, V Email Address Home Page University of the Witwatersrand 26 Feb - 19 Mar
20 Mar - 24 Mar
3 Jul - 7 Jul
Griffin, T Email Address Home Page University of Cambridge 16 Jan - 7 Jul
Hella , L Email Address Home Page University of Tampere 16 Jan - 7 Jul
Hoare, T Email Address Microsoft Research Cambridge 16 Jan - 7 Jul
Hodges, W Email Address Home Page Queen Mary, University of London 26 Mar - 29 Apr
Hyland, M Email Address University of Cambridge 16 Jan - 7 Jul
Kolaitis, P Email Address Home Page IBM Almladen Research Center 26 Feb - 19 Mar
Krajicek, J Email Address Home Page Prague 16 Jan - 7 Jul
Kreutzer, S Email Address Home Page Humboldt-Universitat zu Berlin 26 Feb - 3 Jun
2 Jul - 7 Jul
Krokhin, A Email Address Home Page University of Durham 17 Feb - 19 Mar
7 May - 12 May
Kulesza, K Email Address University of Cambridge 16 Jan - 7 Jul
Kun, G Email Address Eotvos University 5 Mar - 19 Mar
20 Mar - 24 Mar
Kwiatkowska, M Z Email Address Home Page University of Birmingham 27 Feb - 2 Mar
2 May - 19 May
Lynch, JF Email Address Home Page Clarkson University 26 Feb - 4 Mar
15 Jun - 7 Jul
Manna, Z Email Address Stanford University 6 May - 13 May
Martin, U Email Address Home Page Queen Mary, University of London 16 Jan - 7 Jul
Marcinkowski, J Email Address Home Page Wroclaw University 16 Jan - 3 Mar
Michaux, C Email Address Home Page Universite de Mons-Hainaut 1 Feb - 30 May
2 Jul - 7 Jul
Mildmann, T Email Address University of Bristol 7 Mar - 23 Mar
11 Apr - 14 Apr
2 May - 4 May
Mitchell, D Email Address Home Page Simon Fraser University 7 May - 12 May
17 Jun - 7 Jul
Moller, F Email Address Home Page University of Wales, Swansea 11 Jun - 7 Jul
Nesetril, J Email Address Charles University 5 Mar - 29 Mar
Niwinski, D Email Address Warsaw university 12 Jun - 7 Jul
Ong, L Email Address Home Page University of Oxford 16 Jan - 2 Apr
2 Jul - 7 Jul
Pitts, A Email Address Home Page University of Cambridge 16 Jan - 7 Jul
Pudlak, P Email Address Home Page Mathematical Institute, AS CR 3 Apr - 26 Apr
Richerby, D Email Address University of Athens 4 Jun - 21 Jun
Rossman, B Email Address Massachusetts Institute of Technology 20 Mar - 24 Mar
25 Mar - 2 Apr
Rubin, S Email Address University of Auckland 16 Jan - 3 Feb
Schweikardt, N Email Address Home Page Humboldt-Universitat zu Berlin 26 Feb - 16 Mar
Szeider, S Email Address Home Page University of Durham 26 Feb - 3 Mar
20 Mar - 23 Mar
24 Mar - 30 Mar
Ternovska, E Email Address Simon Fraser University 17 Jun - 8 Jul
Trefler, R Email Address University of Waterloo 25 May - 7 Jul
Vaananen, J Email Address Home Page University of Helsinki 31 Mar - 1 May
14 Jun - 21 Jun
Vardi, M Email Address Home Page Rice University 16 Jan - 7 Jul
Vollmer, H Email Address Home Page Universitaet Hannover 30 Apr - 29 Jun
Vorobyov, S Email Address Home Page Uppsala University 20 Mar - 24 Mar
3 Apr - 14 May
5 Jun - 16 Jun
2 Jul - 7 Jul
Weinstein, S Email Address Home Page University of Pennsylvania 12 Feb - 18 Mar
Wilke, T Email Address Home Page Christian-Albrechts-Universitaet zu Kiel 7 Mar - 24 Mar
Winskel, G Email Address Home Page 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.

Webmaster
Copyright © 1996 Isaac Newton Institute.
Updated at 02:34 PM on 07 August 2006