[TYPES/announce] Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM

[Nima Rasekh]

Dear all,

This is the first announcement for the upcoming ICERM Graduate Training 
Workshop "Teaching Higher Category Theory with Computers", which will 
take place August 17 - 21, 2026.

Are you a graduate student (Master's or PhD) and want to learn about 
∞-categories? Then we invite you to apply! Students with some 
familiarity with homotopy theory, category theory, homotopy type theory, 
and/or proof assistants who are interested in learning about 
∞-categories are particularly encouraged.

Further details can be found on the ICERM webpage:

https://urldefense.com/v3/__https://icerm.brown.edu/program/topical_workshop/tw-26-thc__;!!IBzWLUs!WFTdnUOuvOMylu7WcaQxJlTOGXY59YejVSMB-EvHpluyxcn1-BUyWn9r8C6gVj3foJXykWo3g7ffWweNUGxbIL0CO-bB373n28INIVcEbrOX$ 

Please submit your application via Cube:

https://urldefense.com/v3/__https://app.icerm.brown.edu/Cube/apply/607__;!!IBzWLUs!WFTdnUOuvOMylu7WcaQxJlTOGXY59YejVSMB-EvHpluyxcn1-BUyWn9r8C6gVj3foJXykWo3g7ffWweNUGxbIL0CO-bB373n28INISPBcKtB$ 

The deadline is March 31, 2026.

Best,
Nima, Emily, Jonathan

Nima Rasekh (University of Greifswald)
Emily Riehl (Johns Hopkins University)
Jonathan Weinberger (Chapman University)