Logic List Mailing Archive

CfA: ICERM Graduate Training Workshop “Teaching Higher Category Theory with Computers”, 17–21 August 2026, Providence RI (USA)

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://icerm.brown.edu/program/topical_workshop/tw-26-thc

Please submit your application via Cube:

https://app.icerm.brown.edu/Cube/apply/607

The deadline is March 31, 2026.

Best,
Nima, Emily, Jonathan

Nima Rasekh (University of Greifswald)
Emily Riehl (Johns Hopkins University)
Jonathan Weinberger (Chapman University)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php