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:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d0ba4d73093
DTSTART;TZID=America/Toronto:20250129T103000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250129T113000
URL:https://uwaterloo.ca/computer-science/events/seminar-software-engineeri
 ng-formal-methods-towards-scalable-and-usable-domain-specific-automated-re
 asoning
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West DC 1304 Waterloo ON N2L 3G1 Canada
SUMMARY:Seminar • Software Engineering | Formal Methods • Towards Scala
 ble\nand Usable Domain-Specific Automated Reasoning
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS SEMINAR WILL TAKE PLACE IN DC 1304.\n\nFEDERI
 CO MORA\, PHD CANDIDATE\n_Department of Electrical Engineering and Compute
 r Sciences\nUniversity of California\, Berkeley_
DTSTAMP:20260404T071421Z
END:VEVENT
END:VCALENDAR