Final Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM

Final Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM

[Nima Rasekh]

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

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://icerm.brown.edu/program/topical_workshop/tw-26-thc<https://url.au.m.mimecastprotect.com/s/e6Q_Cp81gYCn07Dr4tYikIGbCoA?domain=icerm.brown.edu>

Please submit your application via Cube:

https://app.icerm.brown.edu/Cube/apply/607<https://url.au.m.mimecastprotect.com/s/95sFCq71jxf8yVWAYuEsnIER3xx?domain=app.icerm.brown.edu>

The deadline is March 31, 2026.

Best,
Nima, Emily, Jonathan

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


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


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