Conferences / Workshops

 

Program Participants

Fifth Workshop on Formal Topology: Spreads and Choice Sequences

Name University City Arrival and Departure
Andrej Bauer University of Ljubljana Jun 07 - Jun 11
Ulrich Berger Swansea University Swansea Jun 09 - Jun 10
Francesco Ciraulo University of Padova Padova Jun 07 - Jun 11
Thierry Coquand Chalmers/University of Gothenburg Göteborg Jun 07 - Jun 11
Martín Escardó University of Birmingham Birmingham Jun 07 - Jun 11
Henrik Forsell Stockholm University Stockholm Jun 08 - Jun 10
Michael Fourman University of Edinburgh Edinburgh Jun 07 - Jun 11
Hajime Ishihara JAIST, Japan Advanced Institute of Science and Technology Jun 08 - Jun 10
Tatsuji Kawai JAIST, Japan Advanced Institute of Science and Technology Jun 07 - Jun 11
Peter LeFanu Lumsdaine Stockholm University Stockholm Jun 08 - Jun 10
Maria Emilia Maietti University of Padova Padova Jun 07 - Jun 11
Per Martin-Löf Stockholm University Stockholm Jun 08 - Jun 10
Yoshihiro Maruyama University of Oxford Oxford Jun 08 - Jun 10
Samuele Maschio University of Padova Padova Jun 07 - Jun 11
Ieke Moerdijk Radboud University, Nijmegen Jun 07 - Jun 09
Takako Nemoto JAIST, Japan Advanced Institute of Science and Technology Jun 08 - Jun 10
Paige North University of Cambridge Cambridge Jun 07 - Jun 11
Erik Palmgren Stockholm University Stockholm Jun 08 - Jun 10
Iosif Petrakis LMU Ludwig-Maximilians-Universität München München Jun 07 - Jun 11
Joan Rand Moschovakis University of California, UCLA Los Angeles Jun 07 - Jun 11
Davide Rinaldi University of Leeds Leeds Jun 08 - Jun 10
Giovanni Sambin University of Padova Padova Jun 07 - Jun 11
Peter Schuster University of Verona Verona Jun 07 - Jun 11
Monika Seisenberger Swansea University Swansea Jun 09 - Jun 10
Bas Spitters - - Jun 07 - Jun 10
Thomas Streicher Technical University of Darmstadt Darmstadt Jun 07 - Jun 10
Anne S. Troelstra University of Amsterdam Amsterdam Jun 07 - Jun 10
Wim Veldman Radboud University, Nijmegen Jun 07 - Jun 11
Steve Vickers University of Birmingham Birmingham Jun 07 - Jun 11
Mark van Atten CNRS - Centre national de la recherche scientifique Paris cedex 16 Jun 07 - Jun 10

Program
Contact

Erik Palmgren

palmgren@math.su.se

Other
information

For practical matters at the Institute, send an e-mail to secretary@mittag-leffler.se