BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/159
 17/17---21-August-2026-ICERM-Graduate-Training-Wor
 kshop-“Teaching-Higher-Category-Theory-with-Comput
 ers”-Providence-RI-USA-
DTSTAMP:20251124T161509
SUMMARY:ICERM Graduate Training Workshop “Teaching
  Higher Category Theory with Computers”, Providenc
 e RI [USA]
DTSTART;VALUE=DATE:20260817
DTEND;VALUE=DATE:20260821
LOCATION:Providence RI [USA]
DESCRIPTION:This workshop aims to teach participan
 ts the fundamentals of higher category theory usin
 g the proof assistant Rzk. The participants will l
 earn both the classical point of view and the type
  theoretic point of view in two lecture series, an
 d, in the exercise sessions, will learn how to use
  the proof assistant Rzk to prove basic higher cat
 egorical results.  Students with some familiarity 
 with homotopy theory, category theory, homotopy ty
 pe theory, and/or proof assistants who are interes
 ted in learning about ∞-categories are particularl
 y encouraged.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This workshop 
 aims to teach participants the fundamentals of hig
 her category theory using the proof assistant Rzk.
  The participants will learn both the classical po
 int of view and the type theoretic point of view i
 n two lecture series, and, in the exercise session
 s, will learn how to use the proof assistant Rzk t
 o prove basic higher categorical results.</p>\n  <
 p>Students with some familiarity with homotopy the
 ory, category theory, homotopy type theory, and/or
  proof assistants who are interested in learning a
 bout ∞-categories are particularly encouraged.</p>
 \n
URL:https://icerm.brown.edu/program/topical_worksh
 op/tw-26-thc
CONTACT:info at icerm.brown.edu
END:VEVENT
END:VCALENDAR