17 - 21 August 2026, ICERM Graduate Training Workshop “Teaching Higher Category Theory with Computers”, Providence RI [USA]
Date: 17 - 21 August 2026
Location: Providence RI [USA]
Target audience: Master and PhD students
Deadline: Tuesday 31 March 2026
This workshop aims to teach participants the fundamentals of higher category theory using the proof assistant Rzk. The participants will learn both the classical point of view and the type theoretic point of view in two lecture series, and, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher categorical results.
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.
For more information, see
https://icerm.brown.edu/program/topical_workshop/tw-26-thc
or contact info at icerm.brown.edu.