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:69db10551e98d
DTSTART;TZID=America/Toronto:20180427T113000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20180427T113000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-software-engin
 eering-learning-software
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West 3126 Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar • Software Engineering — Learning Software Behavior
 al\nModels from Execution Traces
CLASS:PUBLIC
DESCRIPTION:RAFAEL OLAECHEA VELAZCO\, PHD CANDIDATE\n_David R. Cheriton Sch
 ool of Computer Science_\n\nSoftware behavioural models\, such as finite s
 tate machines\, are used\nas an input to model checking tools to verify th
 at software satisfies\nits requirements. As constructing such models by ha
 nd is\ntime-consuming and error-prone\, researchers have developed tools t
 o\nautomatically extract such models from systems’ execution traces. 
DTSTAMP:20260412T032405Z
END:VEVENT
END:VCALENDAR