[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We are organising a meeting on the topic “Formalizing Higher
Categories”, June 8–12 next year, at the Mittag-Leffler Institute in
Stockholm:
https://urldefense.com/v3/__https://www.mittag-leffler.se/activities/formalizing-higher-categories/__;!!IBzWLUs!RcEbisTmARtVNldvybNM9YTyB52PFrrxAzz-OSiHlJqvVzwU6TjLM3JLczIfqg_tmz9_Lz_87vp4-7m37bQVOtfCbUP4_uMjZm5b-SBZAZw1$
Capacity for the meeting is highly limited, so attendance is by
invitation only. To keep the selection as open and inclusive as
possible, we would like to hear from anyone potentially interested in
attending or following online.
If you are potentially interested in participating, please fill in the
form https://urldefense.com/v3/__https://forms.gle/GfRFQj2jhQHiWkqVA__;!!IBzWLUs!RcEbisTmARtVNldvybNM9YTyB52PFrrxAzz-OSiHlJqvVzwU6TjLM3JLczIfqg_tmz9_Lz_87vp4-7m37bQVOtfCbUP4_uMjZm5b-bdyJTxz$ by *Tuesday, October 7* so we
can take it into account for planning.
Best,
–Nima, Thierry, Paige, Jonathan, Peter.
Nima Rasekh
Thierry Coquand
Paige Randall North
Jonathan Weinberger
Peter LeFanu Lumsdaine
