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:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d67bb826e60
DTSTART;TZID=America/Toronto:20240610T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240610T160000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/phd-defence
 -notice-towards-scalable-fully-automatic-program
LOCATION:EIT - Centre for Environmental and Information Technology 200 Univ
 ersity Avenue West EIT-3142 Waterloo ON N2L 3G1 Canada
SUMMARY:Ph.D. Defence Notice: Towards Scalable Fully Automatic Program\nVer
 ification
CLASS:PUBLIC
DESCRIPTION:Candidate: Hari Govind V K\n\nTitle: Towards Scalable Fully Aut
 omatic Program Verification\n\nDate: June 10\, 2024\n\nTime: 2:00 PM\n\nPl
 ace: EIT 3142\n\nSupervisor(s): Gurfinkel\, Arie\n\n_All are welcome!_
DTSTAMP:20260408T160056Z
END:VEVENT
END:VCALENDAR