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

[Nima Rasekh]

Dear all,

This is the final 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!WgAkK65nKEogBK7tbh16yePhshHlU5d9cqooeiS5QZM0SsiBnooWaUo5AAb0CR2ZIGgVRPotuk5xMQf1ScJi7Z7OgNWxYEP-ryL2w3TPJZ8R$ 

Please submit your application via Cube:

https://urldefense.com/v3/__https://app.icerm.brown.edu/Cube/apply/607__;!!IBzWLUs!WgAkK65nKEogBK7tbh16yePhshHlU5d9cqooeiS5QZM0SsiBnooWaUo5AAb0CR2ZIGgVRPotuk5xMQf1ScJi7Z7OgNWxYEP-ryL2w6IAiLig$ 

The deadline is March 31, 2026.

Best,
Nima, Emily, Jonathan

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