[TYPES/announce] Call for interest: Formalizing Higher Categories, June 8–12 2026, Mittag-Leffler Institute

[Nima Rasekh]

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