BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20171105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a25110f8467f
DTSTART;TZID=America/Toronto:20181025T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20181025T150000
URL:https://uwaterloo.ca/pure-mathematics/events/homotopy-type-theory-semin
 ar-3
SUMMARY:Homotopy Type Theory Seminar
CLASS:PUBLIC
DESCRIPTION:ANDREJ VUKOVIC\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF
  WATERLOO\n\n\"Univalence\"\n\nIn this week's meeting of the homotopy type
  theory seminar\, we begin\nby reviewing homotopy equivalence and the tran
 sport map. We then\ndiscuss dependent pair and function types in the conte
 xt of homotopy\ntheory and introduce function extensionality. Finally\, we
  formalize\nthe univalence axiom with the type-theoretic notion of homotop
 y\nequivalence.\n\nMC 5413
DTSTAMP:20260607T063455Z
END:VEVENT
END:VCALENDAR