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. We will inform the applicants in due time.



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