Skip to main content


Higher Topos Theory and Univalent Foundations

The Summer School on Higher Topos Theory and Univalent Foundations will take place from June 24th to June 28th 2019 at School of Mathematics of University of Leeds. The programme includes two mini-courses, three lectures by invited speakers as well as tutorial sessions.

The goal of the school is to help PhD students and young researchers to obtain entry points into the areas of Higher Topos Theory and Univalent Foundations and, perhaps most importantly, learn about connections between them. This would help future developments in both subjects, e.g. in the development of elementary higher topos theory.

Registration is now closed.


Mini-course lecturers:

  • Peter LeFanu Lumsdaine (Stockholm University) on Univalent foundations
  • Charles Rezk (University of Illinois at Urbana–Champaign) on Higher topos theory

Prerequisites for the mini-courses can be found here.

Invited speakers:

  • Benedikt Ahrens (University of Birmingham)
  • André Joyal (Université du Québec à Montréal)
  • Emily Riehl (Johns Hopkins University)


  • Nicola Gambino (University of Leeds)
  • Paige North (Ohio State University)
  • Nima Rasekh (Max Planck Institute for Mathematics)
  • Karol Szumiło (University of Leeds)


Scientific Committee

Organising Committee

  • Nicola Gambino
  • Gabriele Lobbia
  • Nima Rasekh
  • Raffael Stenzel
  • Karol Szumiło


The meeting is sponsored by the School of Mathematics of the University of Leeds, the Engineering and Physical Sciences Research Council (EPSRC), the US Air Force Office for Scientific Research (AFOSR), the London Mathematical Society (LMS) and is held under the auspices of the British Logic Colloquium (BLC).