Participants of the Summer School on Types, Sets and Constructions
The list below includes the summer school participants as well as the participants of the Trimester Program who are at the Institute during the summer school.
| Name | Affiliation | Period of stay |
|---|---|---|
| Peter Aczel | Munstar University | 02.05.2018 – 29.05.2018 |
| Juan Aguilera | TU Wien | |
| Amirhossein Akbar Tabatabai | Czech Academy of Sciences | 02.05.2018 – 30.07.2018 |
| Antoine Allioux | Institut de Recherche en Informatique Fondamentale (Paris Diderot University) | 02.05.2018 – 09.05.2018 |
| Ingo Blechschmidt | Universität Augsburg | 02.05.2018 – 10.05.2018 |
| Roberta Bonacina | University of Insubria | 02.05.2018 – 10.05.2018 |
| Douglas S. Bridges | University of Canterbury | 02.05.2018 – 22.08.2018 |
| David Cerna | Johannes Kepler University | |
| Joshua Chen | University of Innsbruck | |
| Thierry Coquand | Goteborg University | 02.05.2018 – 30.06.2018 |
| Neil DeBoer | Ohio State University | 02.05.2018 – 10.05.2018 |
| Peter Dybjer | Chalmers University of Technology | 02.05.2018 – 09.05.2018 |
| Jacopo Emmenegger | Stockholms Universitet | 02.05.2018 – 10.05.2018 |
| Giulio Fellin | Università degli Studi di Verona | 02.05.2018 – 10.05.2018 |
| Mattias Granberg Olsson | University of Gothenburg | |
| Martin Hötzel Escardó | University of Birmingham | 02.05.2018 – 23.05.2018 |
| Joseph Helfer | Stanford University | 02.05.2018 – 10.05.2018 |
| Matthew Hendtlass | University of Canterbury | 02.05.2018 – 01.06.2018 |
| Hugo Herbelin | University Paris Diderot | 02.05.2018 – 14.08.2018 |
| Simon Huber | University of Gothenburg | 02.05.2018 – 09.05.2018 |
| Matthias Hutzler | Universität Augsburg | 02.05.2018 – 10.05.2018 |
| Raheleh Jalali Keshavarz | Czech Academy of Sciences | 02.05.2018 – 30.07.2018 |
| Jan Jendrysiak | Technische Universität Darmstadt | 03.05.2018 – 09.05.2018 |
| Tatsuji Kawai | Japan Advanced Institute of Science and Technology | 02.05.2018 – 10.05.2018 |
| Nils Köpp | Ludwig-Maximilians-Universität München | 03.05.2018 – 10.05.2018 |
| Kentaro Kikuchi | Tohoku University | 02.05.2018 – 07.05.2018 |
| Peter Koepke | Universität Bonn | 02.05.2018 – 10.08.2018 |
| Ulrich Kohlenbach | Technische Universität Darmstadt | 02.05.2018 – 05.05.2018 |
| Anela Lolic | TU Wien | |
| Henri Lombardi | Université Bourgogne Franche-Comté | |
| Maria Emilia Maietti | University of Padova | 03.05.2018 – 15.06.2018 |
| Samuele Maschio | Università di Padova | 02.05.2018 – 10.05.2018 |
| Dávid Natingga Tóth | University of Leeds | 02.05.2018 – 24.08.2018 |
| Stefan Neuwirth | Universit̩ de Franche-Comt̩ | 02.05.2018 Р10.05.2018 |
| Satoru Niki | Japan Advanced Institute of Science and Technology | 02.05.2018 – 24.08.2018 |
| Isabel Maria Oitavem | CMA & DM, FCT, Universidade Nova de Lisboa | 02.05.2018 – 11.08.2018 |
| Fabio Pasquali | University of Padova | 02.05.2018 – 10.05.2018 |
| Iosif Petrakis | Ludwig-Maximilians-Universität München | 02.05.2018 – 09.05.2018 |
| Michael Rathjen | University of Leeds | 02.05.2018 – 15.08.2018 |
| Giuseppe Rosolini | Università degli Studi di Genova | 09.05.2018 – 22.08.2018 |
| Fabian Ruch | G̦teborgs Universitet | 02.05.2018 Р10.05.2018 |
| Aleksandra Samonek | Université Catholique de Louvain | |
| Masahiko Sato | Kyoto University | 02.05.2018 – 01.06.2018 |
| Peter Schuster | Università degli Studi di Verona | 02.05.2018 – 11.08.2018 |
| Helmut Schwichtenberg | Ludwig-Maximilians-Universität München | 02.05.2018 – 24.08.2018 |
| Thomas Skill | Bochum University of Applied Sciences | 03.05.2018 – 09.05.2018 |
| Sam Speight | University of Oxford | 02.05.2018 – 10.05.2018 |
| Dieter Spreen | Universität Siegen | 09.05.2018 – 24.08.2018 |
| Philipp Stassen | Universität Bonn | |
| Tsutomu Takayama | Kyoto University | 02.05.2018 – 24.08.2018 |
| Davide Trotta | National Research Council, ISTI-CNR | 02.05.2018 – 10.05.2018 |
| Andreas Weiermann | Ghent University | 02.05.2018 – 07.05.2018 |
| Daniel Wessel | Università degli Studi di Verona | 02.05.2018 – 15.06.2018 |
| Ihsen Yengui | Università degli Studi di Verona | 02.05.2018 – 24.08.2018 |
| Max Zeuner | Ludwig-Maximilians-Universität München | 02.05.2018 – 10.05.2018 |