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:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d653029989b
DTSTART;TZID=America/Toronto:20230815T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230815T160000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/masc-semina
 r-prioritized-unit-propagation-and-extended
SUMMARY:MASc Seminar: Prioritized Unit Propagation and Extended Resolution\
 nTechniques for SAT Solvers
CLASS:PUBLIC
DESCRIPTION:Candidate: Jonathan Chung\n\nDate: August 15\, 2023\n\nTime: 3:
 00 pm\n\nLocation: remote attendance\n\nSupervisor(s): Arie Gurfinkel
DTSTAMP:20260408T130714Z
END:VEVENT
END:VCALENDAR