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:20181104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a248045188b6
DTSTART;TZID=America/Toronto:20181129T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20181129T150000
URL:https://uwaterloo.ca/pure-mathematics/events/homotopy-type-theory-semin
 ar-5
SUMMARY:Homotopy Type Theory Seminar
CLASS:PUBLIC
DESCRIPTION:ANDREJ VUKOVIC\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY O
 F\nWATERLOO\n\n\"Fundamental Group of the Circle and Other Highlights\"\n\
 nToday we construct the circle type and show that its fundamental group\ni
 s Z\, using synthetic homotopy theory. As requested at the last\nmeeting\,
  we also show that function extensionality implies weak\nfunction extensio
 nality.\n\nMC 5413
DTSTAMP:20260606T201709Z
END:VEVENT
END:VCALENDAR