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:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20191103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d1edbd5f20f
DTSTART;TZID=America/Toronto:20200630T130000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20200630T130000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-formal-methods-comprehensive-study-declarative-modelling-languages
LOCATION:200 University Avenue West Online presentation Waterloo ON N2L 3G1
  Canada
SUMMARY:Master’s Thesis Presentation • Formal Methods — A Comprehensi
 ve\nStudy of Declarative Modelling Languages
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WILL BE GIVEN 
 ONLINE.\n\nAMIN BANDALI\, MASTER’S CANDIDATE\n_David R. Cheriton School
  of Computer Science_\n\nDeclarative behavioural modelling is a powerful m
 odelling paradigm\nthat enables users to model system functionality abstra
 ctly and\nformally. An abstract model is a concise and compact representat
 ion of\nkey characteristics of a system\, and enables the stakeholders to\
 nreason about the correctness of the system in the early stages of\ndevelo
 pment.
DTSTAMP:20260405T050605Z
END:VEVENT
END:VCALENDAR