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

Chuangjie Xu xu at math.lmu.de
Wed Mar 7 17:51:29 EST 2018

[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*


*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.

More information about the FOM mailing list