Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Summer School on Higher Topos Theory and Univalent Foundations
@ 2018-10-23 20:52 Nicola Gambino
  0 siblings, 0 replies; only message in thread
From: Nicola Gambino @ 2018-10-23 20:52 UTC (permalink / raw)
  To: Homotopy Type Theory

[-- Attachment #1: Type: text/plain, Size: 2053 bytes --]

*** Summer School on Higher Topos Theory and Univalent Foundations
*** University of Leeds, UK
*** Monday 24th June to Friday 28th June, 2019

Dear friends and colleagues,

I am writing to let you know that a summer school on Higher Topos Theory and Univalent Foundations will take place at the University of Leeds (UK) from Monday 24th June to Friday 28th June, 2019.

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.

The school will consist of the following activities.

- Peter LeFanu Lumsdaine (Stockholm University), Univalent Foundations
- Charles Rezk (University of Illinois at Urbana-Champaign), Higher topos theory

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

- Paige North (Ohio State University)
- Nima Rasekh (Max Planck Institute for Mathematics)
- Karol Szumilo (University of Leeds)

The website of the summer school (currently under construction) can be found at:


Information about registration and other practical matters will be available in due course. In the meantime, please do not hesitate to contact us if you have any queries.

With best regards,
The organizers (Nicola Gambino, Nima Rasekh, Karol Szumilo)

Dr Nicola Gambino
School of Mathematics, University of Leeds
Web: http://www1.maths.leeds.ac.uk/~pmtng/

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #2: Type: text/html, Size: 3214 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-10-23 20:52 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-10-23 20:52 [HoTT] Summer School on Higher Topos Theory and Univalent Foundations Nicola Gambino

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).