skip to content
 

Participants (SASW04)

Note: This list may not include "Semantics and Syntax: A Legacy of Alan Turing" programme participants whose visits coincide with the workshop.

E.g., 2018-06-25
E.g., 2018-06-25
Name Home Institution Visit Dates
George Barmpalias  Chinese Academy of Sciences 01 July to 07 July
Bruno Bauwens    Universidade do Porto 02 July to 06 July
Verónica Becher    Universidad de Buenos Aires 02 July to 06 July
Arnold Beckmann    Swansea University 02 July to 06 July
Laurent Bienvenu    Université Paris 7 - Denis-Diderot 01 July to 07 July
Vasco Brattka    University of Cape Town 02 July to 06 July
Cris Calude    University of Auckland 02 July to 06 July
Luca Cardelli  Microsoft Research 02 July to 06 July
Maurice Chiodo  University of Melbourne 02 July to 06 July
Peter Cholak    University of Notre Dame 02 July to 06 July
Barry Cooper    University of Leeds 02 July to 06 July
Quinn Culver    University of Notre Dame 02 July to 06 July
Anuj Dawar    University of Cambridge 02 July to 06 July
Adam Day University of California, Berkeley 01 July to 07 July
Rod Downey    Victoria University of Wellington 02 July to 06 July
Michael Fellows  Charles Darwin University 02 July to 06 July
Willem Fouche'  University of South Africa 01 July to 07 July
Cédric Fournet    Microsoft Research 02 July to 06 July
Johanna Franklin    University of Connecticut 01 July to 07 July
Péter Gács    Boston University 30 June to 08 July
Sergey Goncharov    Russian Academy of Sciences 02 July to 06 July
Andy Gordon  Microsoft Research 02 July to 06 July
Noam Greenberg    Victoria University of Wellington 02 July to 06 July
Jens Groth    University College London 02 July to 06 July
Pablo Ariel Heiber  Universidad de Buenos Aires 02 July to 07 July
Ian Herbert  University of California, Berkeley 01 July to 07 July
Kojiro Higuchi  Tohoku University 02 July to 06 July
John Hitchcock    University of Wyoming 01 July to 07 July
Mark Hogarth    University of Cambridge 02 July to 06 July
Rupert Hölzl  Université Paris 7 - Denis-Diderot 01 July to 07 July
Mathieu Hoyrup  INRIA Paris - Rocquencourt 01 July to 07 July
Martin Hyland  University of Cambridge 02 July to 06 July
Valentine Kabanets    Simon Fraser University 02 July to 06 July
Takayuki Kihara    Tohoku University 01 July to 06 July
Antonina Kolokolova  Memorial University of Newfoundland 02 July to 06 July
Michal Koucký  Academy of Sciences of the Czech Republic 01 July to 07 July
Antonín Kucera  Charles University, Prague 01 July to 07 July
Andy Lewis    University of Leeds 02 July to 06 July
Benedikt Lowe    [University of Amsterdam]; Universiteit van Amsterdam 02 July to 06 July
Jack Lutz    Iowa State University 02 July to 06 July
Elvira Mayordomo    [University of Zaragoza]; Universidad de Zaragoza 02 July to 06 July
Wolfgang Merkle    Universität Heidelberg 02 July to 06 July
Kenshi Miyabe    Kyoto University 01 July to 07 July
Benoit Monin    LIAFA 01 July to 07 July
Ken Moody University of Cambridge 02 July to 06 July
Dung Nguyen  University at Buffalo 01 July to 07 July
Andre Nies  University of Auckland 02 July to 06 July
Grant Passmore    University of Cambridge 02 July to 06 July
Arno Pauly    University of Cambridge 02 July to 06 July
Tomislav Petrovic  University of Zagreb 01 July to 07 July
Christopher Porter    University of Notre Dame 01 July to 07 July
Zhanna Reznikova  Russian Academy of Sciences 02 July to 07 July
Daniel Roy    University of Cambridge 02 July to 06 July
Jason Rute    Carnegie Mellon University 02 July to 06 July
Boris Ryabko    Siberian State University of Telecommunications and Information Sciences 01 July to 07 July
Daniil Ryabko INRIA Lille - Nord Europe Research Centre 01 July to 07 July
Sam Sanders    Universiteit Gent 01 July to 07 July
Alan Selman    University at Buffalo 01 July to 06 July
Gabriel Ignacio Senno  Universidad de Buenos Aires 01 July to 07 July
Alexander Shen    Université de Montpellier 2 01 July to 07 July
Steve Simpson    Pennsylvania State University 01 July to 07 July
Robert Soare  University of Chicago 02 July to 06 July
Mike Stannett    University of Sheffield 02 July to 06 July
Kohtaro Tadaki  Chuo University 01 July to 07 July
Hayato Takahashi  University of Electro-Communications 01 July to 07 July
Antoine Taveneaux    Université Paris 7 - Denis-Diderot 01 July to 07 July
Jason Teutsch    Pennsylvania State University 01 July to 08 July
Neil Thapen    Academy of Sciences of the Czech Republic 02 July to 06 July
Daniel Turetsky  Victoria University of Wellington 01 July to 07 July
Nikolay Vereshagin  Moscow State University 01 July to 06 July
Stijn Vermeeren  University of Leeds 02 July to 06 July
Glynn Winskel    University of Cambridge 02 July to 06 July
Aihua Wood  Air Force Institute of Technology 02 July to 06 July
Marius Zimand    Towson University 01 July to 07 July
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons