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:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69fe2165b0bd8
DTSTART;TZID=America/Toronto:20260513T130000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260513T150000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/phd-defence
 -notice-mock-environments-ownership-aware
LOCATION:EIT - Centre for Environmental and Information Technology 200 Univ
 ersity Avenue West EIT 3151-53 Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Defence Notice: From Mock Environments to Ownership-Aware\nComp
 ilation: Practical Advances in Low-Level Program Reasoning
CLASS:PUBLIC
DESCRIPTION:Candidate: Siddharth Priya\n\nDate: May 13\, 2026\n\nTime: 1:00
  PM\n\nLocation: EIT 3151-53\n\nSupervisors: Gurfinkel\, Arie
DTSTAMP:20260508T174613Z
END:VEVENT
END:VCALENDAR