3 - 9 May 2018, Summer School on Types, Sets, & Constructions, Bonn (Germany)

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 and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics