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.

Online application will open in due time.


  • Peter Aczel (Manchester)
  • Robert Constable (Cornell University)
  • Thierry Coquand (Göteborg)
  • Martín Escardó (Birmingham)
  • Matthew Hendtlass (Canterbury)
  • Simon Huber (Göteborg)
  • Rosalie Iemhoff (Utrecht)
  • Ulrich Kohlenbach (Darmstadt)
  • Per Martin-Löf (Stockholm)
  • Andreas Weiermann (Gent)