skip to content
 

Participants (LAA)

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