[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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)
