skip to content
 

Participants (LAA)

E.g., 2016-06-26
E.g., 2016-06-26
Name Home Institution Visit Dates
Parosh Abdullah    [Uppsala University]
30 April to 24 May
Klaus Aehlig  [Universitaet Muenchen]
10 April to 14 April
Natasha Alechina    University of Nottingham
16 January to 7 July
Mikhail Alekhnovich  University of California
10 April to 13 April
Jan Altenbernd [RWTH - Aachen]
3 July to 7 July
Rajeev Alur  University of Pennsylvania
3 July to 7 July
Eyal Amir    University of Illinois
7 May to 17 May
;
28 May to 7 June
Timos Antonopoulos  University of Cambridge
16 January to 6 April
Krzysztof Apt    [CWI]
2 July to 4 July
Marcelo Arenas  [Escuela de Ingenieria]
27 February to 3 March
Argimiro Arratia Quesada    Universidad de Valladolid
15 February to 4 March
;
20 March to 21 March
;
3 July to 7 July
Albert Atserias    Universitat Politècnica de Catalunya
16 January to 4 March
;
9 April to 13 April
Vince Barany  [RWTH Aachen]
3 July to 7 July
Pablo Barcelo  University of Toronto
27 February to 3 March
Catriel Beeri [The Hebrew University of Jerusalem]
1 February to 17 March
Amir ben-Amram  [The Academic College of Tel-Aviv Yafo]
8 May to 12 May
Leopoldo Bertossi  Carleton University
27 February to 3 March
Dietmar Berwanger Université Bordeaux 1
3 July to 7 July
Gavin Bierman    [Microsoft Research Cambridge]
16 January to 7 July
William Blum University of Oxford
6 February to 9 February
Bernard Boigelot    Université de Liège
8 May to 12 May
Mikolaj Bojanczyk  [Warsaw University]
2 July to 7 July
Maria Luisa Bonet    [Universidad Politecnica de Catalunya]
9 April to 13 April
Ahmed Bouajjani    [University of Paris 7]
7 May to 4 June
Aaron Bradley    Stanford University
7 May to 12 May
Thomas Brihaye  Université de Mons-Hainaut
16 January to 7 July
Andrei Bulatov    Simon Fraser University
16 January to 19 March
Peter Buneman  University of Edinburgh
1 March to 3 March
Joshua Buresh-Oppenheim  Simon Fraser University
10 April to 14 April
Samuel Buss    University of California
4 April to 14 April
Thierry Cachat  Université Denis Diderot
3 July to 7 July
Diego Calvanese  [Free University of Bozen-Bolzano]
27 February to 2 March
Luca Cardelli    [Microsoft Research Cambridge]
16 January to 7 July
Didier Caucal [IRISA-CNRS]
2 July to 8 July
Stefano Cavagnetto  [Mathematical Institute, Academy of Sciences]
6 February to 12 February
;
27 February to 5 March
;
10 April to 14 April
Witold Charatonik    University of Wroclaw
8 May to 12 May
Hubie Chen    Universitat Pompeu Fabra
29 January to 24 February
James Cheney  University of Edinburgh
27 February to 3 March
Edmund Clarke    Carnegie Mellon University
6 May to 13 May
David Cohen    University of London
26 February to 3 March
Thomas Colcombet  [IRISA]
3 July to 7 July
Byron Cook    [Microsoft Research Cambridge]
16 January to 7 July
Stephen Cook  University of Toronto
9 April to 14 April
;
2 May to 30 June
Scott Cotton  [Verimag, Centre Equation]
8 May to 12 May
Patrick Cousot    [ENS - DI]
7 May to 12 May
Radhia Cousot    [ENS - DI]
7 May to 12 May
Julien Cristau  [Laboratoire d'Informatique Algorithmique]
3 July to 7 July
Victor Dalmau  Universitat Pompeu Fabra
20 February to 20 March
Stefan Dantchev  University of Durham
20 March to 24 March
;
2 April to 29 April
Claire David  [Laboratoire d'Informatique Algorithmique]
3 July to 7 July
Anuj Dawar  University of Cambridge
16 January to 7 July
Giuseppe De Giacomo    [Universita' di Roma]
26 February to 3 March
Rina Dechter    University of California
7 May to 12 May
Giorgio Delzanno    [Universita di Genova]
7 May to 12 May
Anne Dicky  [University of Bordeaux 1]
3 July to 7 July
Volker Diekert  [Universitat Stuttgart, FMI]
28 June to 7 July
Jacques Duparc  Université de Lausanne
3 July to 7 July
Javier Esparza    Universität Stuttgart
3 July to 7 July
Kousha Etessami  University of Edinburgh
8 May to 12 May
;
8 June to 7 July
Wenfei Fan    University of Edinburgh
27 February to 2 March
Marcelo Fiore    University of Cambridge
17 January to 7 July
Diana Fischer  [RWTH Aachen]
3 July to 7 July
Kathi Fisler    Worcester Polytechnic Institute
18 March to 9 April
;
7 May to 13 May
Cédric Fournet    [Microsoft Research Cambridge]
16 January to 7 July
Sibylle Fröschle  [Warsaw University]
3 July to 7 July
Nicola Galesi  [Universita di Roma "La Sapienza"]
10 April to 14 April
Tobias Ganzow  [RWTH Aachen]
3 July to 7 July
Philippa Gardner  Imperial College London
27 February to 3 March
Paul Gastin    [Laboratoire Spécification et Vérification]
26 June to 7 July
Floris Geerts  University of Edinburgh
26 February to 2 March
Hugo Gimbert  [Warsaw University]
3 July to 7 July
Enrico Giunchiglia    [DIST - Universita di Genova]
8 May to 12 May
Valentin Goranko    University of the Witwatersrand
26 February to 19 March
;
20 March to 24 March
;
3 July to 7 July
Andrew Gordon    [Microsoft Research Cambridge]
16 January to 7 July
Georg Gottlob  University of Oxford
26 February to 28 February
;
2 July to 7 July
Erich Grädel    [Aachen University]
3 July to 7 July
Timothy Griffin    University of Cambridge
16 January to 7 July
Martin Grohe  Humboldt-Universität zu Berlin
27 February to 4 March
Orna Grumberg  Technion - Israel Institute of Technology
9 May to 12 May
Matthew Hague  University of Oxford
13 February to 15 February
;
2 July to 7 July
John Havlicek  [Freescale, Inc.]
4 May to 13 May
Pavol Hell    Simon Fraser University
13 March to 19 March
Lauri Hella    University of Tampere
16 January to 7 July
Andre Hernich  [Humboldt Universitat zu Berlin]
26 February to 3 March
Tony Hoare  [Microsoft Research Cambridge]
16 January to 7 July
Wilfred Hodges    Queen Mary, University of London
26 March to 29 April
Florian Horn  [Laboratoire d'Informatique Algorithmique]
3 July to 7 July
Paul Hunter  University of Cambridge
7 April to 7 July
 (provisional)
Martin Hyland  University of Cambridge
16 January to 7 July
Neil Immerman    University of Massachusetts
3 July to 7 July
Russell Impagliazzo    University of California
9 April to 14 April
David Janin    [Université Bordeaux-1]
3 July to 7 July
Peter Jeavons  [Oxford University]
7 May to 12 May
Leila Jemni Ben Ayed  [University of Tunis]
8 May to 12 May
Emil Jerabek  University of Toronto
10 April to 14 April
Mark Jerrum University of Edinburgh
20 March to 24 March
Bengt Jonsson  [Uppsala University]
5 July to 7 July
Marcin Jurdzinski    University of Warwick
7 May to 12 May
;
12 June to 7 July
Lukasz Kaiser  [RWTH Aachen]
3 July to 7 July
Wong Karianto  [RWTH Aachen]
3 July to 7 July
Felix Klaedtke    [ETH Zentrum]
7 May to 20 May
Nils Klarlund  [Google Inc]
7 May to 13 May
Christoph Koch    Universität des Saarlandes
26 February to 2 March
Phokion Kolaitis    [IBM Almladen Research Center]
26 February to 19 March
Antonina Kolokolova  Simon Fraser University
10 April to 14 April
Eryk Kopczynski  Uniwersytet Warszawski
3 July to 7 July
Jan Krajicek    [Prague]
16 January to 7 July
Pavel Krcal  [Uppsala University]
3 July to 7 July
Stephan Kreutzer    Humboldt-Universität zu Berlin
26 February to 3 June
;
2 July to 7 July
Daniel Kroening    [ETH Zentrum]
8 May to 12 May
Andrei Krokhin    University of Durham
17 February to 19 March
;
7 May to 12 May
Kamil Kulesza  University of Cambridge
16 January to 7 July
Alexander Kulikov    [Steklov Institute of Mathematics]
20 March to 24 March
Oliver Kullmann    University of Wales, Swansea
8 May to 12 May
Gabor Kun  [Eotvos University]
5 March to 19 March
;
20 March to 24 March
Orna Kupferman  [Hebrew University]
11 February to 15 February
;
5 June to 8 June
Marta Zofia Kwiatkowska  University of Birmingham
27 February to 2 March
;
2 May to 19 May
Slawomir Lasota  [Warsaw University]
4 July to 7 July
Axel Legay  [University of Liege]
7 May to 12 May
Leonid Libkin    University of Toronto
28 February to 2 March
Steven Lindell    Haverford College
27 February to 3 March
;
23 May to 1 June
Alexei Lisitsa    University of Liverpool
27 February to 2 March
;
7 May to 13 May
Christof Loeding  [RWTH Aachen]
3 July to 7 July
Denis Lugiez    [CMI]
8 May to 11 May
James Lynch    [Clarkson University]
26 February to 4 March
;
15 June to 7 July
Florent Madelaine University of Durham
27 February to 3 March
;
8 May to 12 May
Oded Maler    Verimag
7 May to 13 May
Zohar Manna  Stanford University
6 May to 13 May
Jerzy Marcinkowski  [Wroclaw University]
16 January to 3 March
Klas Markstrom    Umeå University
5 February to 19 February
;
20 March to 24 March
;
9 April to 14 April
Joao Marques-Silva    University of Southampton
8 May to 12 May
Ursula Martin    Queen Mary, University of London
16 January to 7 July
Maarten Marx    Universiteit van Amsterdam
26 February to 3 March
;
2 July to 7 July
Ken McMillan  [Cadence Berkeley Labs]
8 May to 12 May
Christian Michaux    Université de Mons-Hainaut
1 February to 30 May
;
2 July to 7 July
David Mitchell    Simon Fraser University
7 May to 12 May
;
17 June to 7 July
Faron Moller    University of Wales, Swansea
11 June to 7 July
Dov Monderer [Technion]
2 July to 6 July
Supratik Mukhopadhyay West Virginia University
8 May to 12 May
Andrzej Murawski  University of Oxford
3 July to 7 July
Filip Murlak  [Warsaw University]
3 July to 7 July
Anca Muscholl  [Universite Paris 7]
2 July to 7 July
Surmit Nain  Rice University
16 January to 7 July
Kedar Namjoshi    [Bell Labs]
7 May to 13 May
Pavel Naumov  [McDaniel College, Maryland]
10 April to 14 April
Jaroslav Nesetril  [Charles University]
5 March to 29 March
Frank Neven    [University of Limburg]
26 February to 1 March
Phuong Nguyen  University of Toronto
10 April to 14 April
Damian Niwinski    [Warsaw University]
12 June to 7 July
Jakob Nordstrom  [KTH Computer Science and Communication]
10 April to 14 April
Jan Obdrzalek  [Masaryk University, Brno]
3 July to 7 July
Luke Ong    University of Oxford
16 January to 2 April
;
2 July to 7 July
Martin Otto    [Darmstadt University of Technology]
26 February to 11 March
;
1 July to 7 July
Leszek Pacholski    Uniwersytet Wrocławski
26 February to 3 March
;
14 May to 25 May
Jean-Eric Pin  LIAFA
2 July to 7 July
Toniann Pitassi    University of Toronto
8 April to 13 April
Nir Piterman  [EPFL]
15 May to 19 May
;
5 June to 8 June
Andrew Pitts    University of Cambridge
16 January to 7 July
Andreas Podelski    [MPI, Saarbrücken]
7 May to 13 May
Pavel Pudlak    [Mathematical Institute, AS CR]
3 April to 26 April
Shaz Qadeer    Microsoft Research
8 May to 12 May
Sandra Quickert  University of Edinburgh
3 July to 7 July
Jean-Francois Raskin    Université Libre de Bruxelles
8 May to 12 May
David Richerby  University of Athens
4 June to 21 June
Soren Riis  Queen Mary, University of London
9 April to 13 April
Benjamin Rossman  Massachusetts Institute of Technology
20 March to 24 March
;
25 March to 2 April
Kristin Rozier  Rice University
16 January to 7 July
Sasha Rubin  University of Auckland
16 January to 3 February
Karem Sakallah    University of Michigan
8 May to 12 May
Mathias Samuelides  Université Denis Diderot
3 July to 7 July
Sam Sanjabi University of Oxford
14 February to 16 February
Vladimir Sazonov    University of Liverpool
26 February to 1 March
Nicole Schweikardt    Humboldt-Universität zu Berlin
26 February to 16 March
Thomas Schwentick    [Universität Dortmund - Lehrstuhl Informatik I]
2 July to 7 July
Roberto Sebastiani  [Universitá di Trento]
8 May to 12 May
Nathan Segerlind  University of Toronto
9 April to 14 April
Luc Segoufin    [INRIA]
26 February to 2 March
;
20 March to 24 March
;
3 July to 7 July
Olivier Serre  [Universite Paris 7]
3 July to 7 July
Merlijn Sevenster  [University of Amsterdam]
23 June to 30 June
Cristina Sirangelo [INRIA Futurs]
27 February to 3 March
Alan Skelley  [Mathematical Institute A V CR]
10 April to 14 April
Charles Steinhorn    Vassar College
16 January to 27 January
;
5 March to 15 March
Iain Stewart    University of Durham
9 April to 13 April
;
2 July to 7 July
Colin Stirling  University of Edinburgh
3 July to 7 July
Jan Strejcek Université Bordeaux 1
3 July to 7 July
Dan Suciu    University of Washington
26 February to 2 March
Stefan Szeider    University of Durham
26 February to 3 March
;
20 March to 23 March
;
24 March to 30 March
Nathalie Sznajder  [ENS Cachan]
2 July to 7 July
Deian Tabakov  Rice University
16 January to 7 July
Eugenia Ternovska  Simon Fraser University
17 June to 8 July
Neil Thapen  [Prague]
10 April to 14 April
Wolfgang Thomas    [RWTH Aachen]
2 July to 9 July
Anthony Widjaja To University of Toronto
27 February to 3 March
;
3 July to 7 July
Tayssir Touili  [LIAFA - Universite Paris 7]
2 July to 7 July
Richard Trefler  University of Waterloo
25 May to 7 July
Ashutosh Trivedi  University of Warwick
2 July to 7 July
Tero Tulenheimo    University of Helsinki
21 June to 30 June
Iddo Tzameret  Tel Aviv University
9 April to 15 April
Michael Ummels  [RWTH Aachen]
3 July to 7 July
Jouko Vaananen    University of Helsinki
31 March to 1 May
;
14 June to 21 June
Matt Valeriote    McMaster University
22 January to 4 February
;
20 March to 24 March
Johan van Benthem  [University of Amsterdam]
2 July to 4 July
Marc van Dongen    University College Cork
8 May to 12 May
Govert van Drimmelen  University of the Witwatersrand
3 July to 7 July
Moshe Vardi    Rice University
16 January to 7 July
Helmut Veith    [Institut fur Informatik, Germany]
12 June to 19 June
;
5 July to 7 July
Yde Venema  [University of Amsterdam]
3 July to 7 July
Victor Vianu    University of California, San Diego
26 February to 3 March
Aymeric Vincent  Université Bordeaux 1
2 July to 7 July
Heribert Vollmer    [Universitaet Hannover]
30 April to 29 June
Sergei Vorobyov  [Uppsala University]
20 March to 24 March
;
3 April to 14 May
;
5 June to 16 June
;
2 July to 7 July
Nico Wallmeier  [RWTH Aachen]
3 July to 7 July
Igor Walukiewicz    [Université Bordeaux-1]
3 July to 7 July
Scott Weinstein    University of Pennsylvania
12 February to 18 March
Thomas Wilke    [Christian-Albrechts-Universitaet zu Kiel]
7 March to 24 March
Glynn Winskel    University of Cambridge
16 January to 7 July
Pierre Wolper    Université de Liège
10 May to 12 May
James Worrell  University of Oxford
3 July to 7 July
Taoyang Wu  Queen Mary, University of London
9 April to 13 April
Yong Xie  University of Oxford
3 July to 7 July
Hector Zenil  [University of Paris]
9 April to 14 April
Wieslaw Zielonka  [LIAFA - Universite Paris 7]
2 July to 7 July
Daniele Zucchelli    Università degli Studi di Milano
8 May to 12 May
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons