May 3-9, 2018 (except Sunday, 6th)
HIM lecture hall, Poppelsdorfer Allee 45, Bonn
Organizers: Douglas S. Bridges, Michael Rathjen, Peter Schuster, Helmut Schwichtenberg
Description: This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs
Participants of Summer School: on Types, Sets and Constructions
© HIM
Lecture Series by:
- Peter Aczel (Manchester): Constructive set theory
- Robert Constable (Cornell University): Proof assistants and formalization
- Thierry Coquand (Göteborg): Constructive algebra
- Peter Dybjer (Göteborg): Intuitionistic Type Theory
- Martín Escardó (Birmingham): Constructive mathematics in univalent type theory
- Matthew Hendtlass (Canterbury): Constructive analysis
- Simon Huber (Göteborg): Homotopy type theory
- Ulrich Kohlenbach (Darmstadt): Extraction of information from proofs
- Isabel Oitavem (Universidade Nova de Lisboa): Recursion and Complexity
- Andreas Weiermann (Gent): Higher proof theory and combinatorics
© HIM
Person |
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 | |
| 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 |
| Martin Hötzel Escardó | University of Birmingham | 02.05.2018 – 23.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 |
| 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 |
| Nils Köpp | Ludwig-Maximilians-Universität München | 03.05.2018 – 10.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 | University of Trento | 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 |