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:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20261101T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6ae90174c6085
DTSTART;TZID=America/Toronto:20261117T133000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20261117T150000
URL:https://uwaterloo.ca/computer-science/events/dls-nikolaj-bjorner
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Hybrid: DC 1302 | Online distinguished lecture Waterloo ON N2L 3G1
  Canada
SUMMARY:DLS: Nikolaj Bjørner — The RiSE of Rigorous Agentic Software\nEn
 gineering
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS DISTINGUISHED LECTURE WILL TAKE PLACE IN DC 1
 302 AND\nONLINE.\n\nNIKOLAJ BJØRNER\, PARTNER RESEARCHER\n_Microsoft Res
 earch_
DTSTAMP:20261102T213236Z
END:VEVENT
END:VCALENDAR