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:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69dc2a7ae6f62
DTSTART;TZID=America/Toronto:20240306T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240306T160000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-formal-methods
 -pierce-a-testing-tool-for-neural-network-verification-solvers
LOCATION:200 University Avenue West Online PhD seminar Waterloo ON N2L 3G1 
 Canada
SUMMARY:PhD Seminar • Formal Methods • Pierce: A Testing Tool for Neura
 l\nNetwork Verification Solvers
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE ONLINE.\n\nJOSEPH
  SCOTT\, PHD CANDIDATE\n_David R. Cheriton School of Computer Science_\n\n
 SUPERVISORS: Professors Jo Atlee\, Vijay Ganesh
DTSTAMP:20260412T232754Z
END:VEVENT
END:VCALENDAR