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:69f79fb11d08a
DTSTART;TZID=America/Toronto:20230330T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230330T150000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/phd-seminar
 -notice-solving-constrained-horn-clauses-modulo
LOCATION:Centre for Environmental and Information Technology (EIT) rm. 3142
  Waterloo ON Canada
SUMMARY:Ph.D. Seminar Notice: \"Solving constrained Horn clauses modulo\nal
 gebraic data types and recursive functions\" by Hari Govind V K
CLASS:PUBLIC
DESCRIPTION:Candidate: Hari Govind V K\n\nTitle: Solving constrained Horn c
 lauses modulo algebraic data types\nand recursive functions\n\nDate: March
  30\, 2023\n\nTime: 3:00 PM\n\nPlace: EIT 3142\n\nSupervisor(s): Gurfinkel
 \, Arie\n\nAbstract:
DTSTAMP:20260503T191913Z
END:VEVENT
END:VCALENDAR