skip to content
 

Participants (LAAW04)

E.g., 2014-11-23
E.g., 2014-11-23
Name Home Institution Visit Dates
Klaus Aehlig  [Universitaet Muenchen] 9 April to 14 April
Natasha Alechina    University of Nottingham 10 April to 14 April
Mikhail Alekhnovich  University of California 10 April to 14 April
Albert Atserias    Universitat Politècnica de Catalunya 9 April to 14 April
Gavin Bierman    [Microsoft Research Cambridge] 10 April to 14 April
Maria Luisa Bonet    [Universidad Politecnica de Catalunya] 10 April to 14 April
Thomas Brihaye  Université de Mons-Hainaut 10 April to 13 April
Joshua Buresh-Oppenheim  Simon Fraser University 9 April to 14 April
Samuel Buss    University of California 10 April to 14 April
Luca Cardelli    [Microsoft Research Cambridge] 10 April to 14 April
Stefano Cavagnetto  [Mathematical Institute, Academy of Sciences] 9 April to 14 April
Byron Cook    [Microsoft Research Cambridge] 10 April to 14 April
Stephen Cook  University of Toronto 10 April to 14 April
SB cooper  University of Wales, Swansea 9 April to 14 April
Stefan Dantchev  University of Durham 10 April to 14 April
Anuj Dawar  University of Cambridge 10 April to 14 April
Michael Dempster  University of Cambridge 10 April to 14 April
Marcelo Fiore    University of Cambridge 10 April to 14 April
Cédric Fournet    [Microsoft Research Cambridge] 10 April to 14 April
Nicola Galesi  [Universita di Roma "La Sapienza"] 9 April to 14 April
Andrew Gordon    [Microsoft Research Cambridge] 10 April to 14 April
Timothy Griffin    University of Cambridge 10 April to 14 April
Lauri Hella    University of Tampere 10 April to 14 April
Tony Hoare  [Microsoft Research Cambridge] 10 April to 14 April
Wilfred Hodges    Queen Mary, University of London 10 April to 14 April
Paul Hunter  University of Cambridge 10 April to 13 April
Martin Hyland  University of Cambridge 10 April to 14 April
Russell Impagliazzo    University of California 10 April to 13 April
Emil Jerabek  University of Toronto 9 April to 14 April
Jan Johannsen  [LMU Munich] 9 April to 14 April
Antonina Kolokolova  Simon Fraser University 9 April to 14 April
Jan Krajicek    [Prague] 10 April to 14 April
Stephan Kreutzer    Humboldt-Universität zu Berlin 10 April to 14 April
Kamil Kulesza  University of Cambridge 10 April to 14 April
Oliver Kullmann    University of Wales, Swansea 9 April to 14 April
Markus Latte  [Ludwig-Maximilians-University] 9 April to 14 April
Klas Markstrom    Umeå University 9 April to 14 April
Barnaby Martin University of Durham 10 April to 14 April
Ursula Martin    Queen Mary, University of London 10 April to 14 April
Christian Michaux    Université de Mons-Hainaut 10 April to 14 April
Surmit Nain  Rice University 10 April to 14 April
Pavel Naumov  [McDaniel College, Maryland] 9 April to 14 April
Phuong Nguyen  University of Toronto 9 April to 14 April
Jakob Nordstrom  [KTH Computer Science and Communication] 9 April to 14 April
Steven Perron  University of Toronto 9 April to 14 April
Toniann Pitassi    University of Toronto 9 April to 14 April
Andrew Pitts    University of Cambridge 10 April to 14 April
Chris Pollett  [SJSU] 9 April to 14 April
Pavel Pudlak    [Mathematical Institute, AS CR] 10 April to 14 April
Soren Riis  Queen Mary, University of London 9 April to 13 April
Kristin Rozier  Rice University 10 April to 13 April
Nathan Segerlind  University of Toronto 9 April to 14 April
Alan Skelley  [Mathematical Institute A V CR] 9 April to 14 April
Michael Soltys  McMaster University 9 April to 14 April
Iain Stewart    University of Durham 10 April to 14 April
Deian Tabakov  Rice University 10 April to 13 April
Neil Thapen  [Prague] 9 April to 14 April
Iddo Tzameret  Tel Aviv University 9 April to 15 April
Jouko Vaananen    University of Helsinki 10 April to 14 April
Moshe Vardi    Rice University 10 April to 14 April
Sergei Vorobyov  [Uppsala University] 10 April to 14 April
Glynn Winskel    University of Cambridge 10 April to 14 April
Taoyang Wu  Queen Mary, University of London 10 April to 13 April
Hector Zenil  [University of Paris] 9 April to 14 April
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons