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.

The application deadline has expired.



  • 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
  • Rosalie Iemhoff (Utrecht): Structural proof theory
  • Ulrich Kohlenbach (Darmstadt): Extraction of information from proofs
  • Andreas Weiermann (Gent): Higher proof theory and combinatorics