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:6a251126297ba
DTSTART;TZID=America/Toronto:20181101T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20181101T150000
URL:https://uwaterloo.ca/pure-mathematics/events/homotopy-type-theory-semin
 ar-4
SUMMARY:Homotopy Type Theory Seminar
CLASS:PUBLIC
DESCRIPTION:JOHN DYKES\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF WAT
 ERLOO\n\n\"Propositional Logic\"\n\nIn this week's meeting of the homotopy
  type theory seminar\, we begin\nby discussing how homotopy equivalence be
 haves with certain common\ntypes. We talk about the difference between cla
 ssical and\nintuitionistic logic and introduce propositional truncation. W
 e then\nprove that univalence implies function extensionality.\n\nMC 5413
DTSTAMP:20260607T063518Z
END:VEVENT
END:VCALENDAR