Participants of Summer School: on Types, Sets and Constructions(click to enlarge)

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 


  • 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