[Apologies for multiple postings] Summer School on Types, Sets and Constructions, 3-5 and 7-9 May 2018, Bonn, Germany *****Extended deadline for on-line application: 15th March 2018 http://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/types-sets-constructions/summer-school/ Venue: Hausdorff Research Institute for Mathematics, University of Bonn Organizers: Douglas S. Bridges, Michael Rathjen, Peter Schuster, Helmut Schwichtenberg 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