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:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20171105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69db40295466e
DTSTART;TZID=America/Toronto:20180417T103000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20180417T103000
URL:https://uwaterloo.ca/computer-science/events/seminar-programming-langua
 ges-finding-bugs-dynamic-and
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West 1304 Waterloo ON N2L 3G1 Canada
SUMMARY:Seminar • Programming Languages — Finding Bugs with Dynamic and
 \nStatic Analysis
CLASS:PUBLIC
DESCRIPTION:MAGNUS MADSEN\n_Aalborg University\, Denmark_\n\nMost software 
 contains bugs\, unintended behavior that causes the\nprogram to misbehave 
 or crash. Developers wish to avoid bugs\, but are\neasily led astray by th
 e complexity of modern programming languages.\nHow can we help them? A pos
 sible solution is to develop program\nanalysis techniques that can automat
 ically reason about the behavior\nof programs and pinpoint potential probl
 ems.
DTSTAMP:20260412T064809Z
END:VEVENT
END:VCALENDAR