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.
Prerequisites for the mini-courses can be found here.
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).