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:20181104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d95c198d2c4
DTSTART;TZID=America/Toronto:20181219T123000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20181219T123000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-software-engineering-astra
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West 2314 Waterloo ON N2L 3G1 Canada
SUMMARY:Master’s Thesis Presentation • Software Engineering — Astra:\
 nEvaluating Translations from Alloy to SMT-LIB
CLASS:PUBLIC
DESCRIPTION:ALI ABBASSI\, MASTER’S CANDIDATE\n_David R. Cheriton School o
 f Computer Science_\n\nWe present a variety of translation options for con
 verting Alloy to\nSMT-LIB via Alloy’s Kodkod interface. Our translations
 \, which are\nimplemented in a library that we call Astra\, are based on c
 onverting\nthe set and relational operations of Alloy into their equivalen
 t in\ntyped first order logic (TFOL). 
DTSTAMP:20260410T202249Z
END:VEVENT
END:VCALENDAR