Summer School on Types, Sets and Constructions
Dates: May 3-9, 2018 (except Sunday, 6th)
Venue: HIM lecture hall, Poppelsdorfer Allee 45, Bonn
Organizers: Douglas S. Bridges, Michael Rathjen, Peter Schuster, Helmut Schwichtenberg
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
Speakers:
- 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