[FOM] Extended deadline: Summer School on Types, Sets and Constructions, Bonn, Germany, 3-9 May 2018

[Chuangjie Xu]

[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

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.