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:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69df873cc4bf3
DTSTART;TZID=America/Toronto:20230213T103000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230213T113000
URL:https://uwaterloo.ca/computer-science/events/seminar-software-engineeri
 ng-trustworthy-software-enabled-by-program-analysis-and-synthesis
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Hybrid: DC 1304 | Online seminar Waterloo ON N2L 3G1 Canada
SUMMARY:Seminar • Software Engineering • Trustworthy Software Enabled b
 y\nProgram Analysis and Synthesis
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS SEMINAR WILL TAKE PLACE IN DC 1304 AND VIRTUA
 LLY\nOVER ZOOM.\n\nJINGBO WANG\, PHD CANDIDATE\n_Department of Computer Sc
 ience\, University of Southern California_\n\nSecurity\, robustness\, and
  fairness are all important non-functional\nproperties of critical systems
 \, such as software applications in\nautonomous driving\, healthcare\, and
  finance. Unlike functional\ncorrectness\, which has been the subject of e
 xtensive research\,\ntechniques that can formally guarantee these non-func
 tional properties\nare still severely lacking.
DTSTAMP:20260415T124028Z
END:VEVENT
END:VCALENDAR