BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210806T173000Z
DTEND:20210806T190000Z
DTSTAMP:20260409T070922Z
UID:DifCohTop/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/15
 /">Infinity topos and homotopy type theory</a>\nby wait for you as part of
  Differential Cohesive Topos\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/15/
END:VEVENT
END:VCALENDAR