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:682966982e808
DTSTART;TZID=America/Toronto:20181219T123000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20181219T123000
URL:/computer-science/events/masters-thesis-presentatio
 n-software-engineering-astra
SUMMARY:Master’s Thesis Presentation • Software Engineering — Astra:\
 nEvaluating Translations from Alloy to SMT-LIB
CLASS:PUBLIC
DESCRIPTION:Summary \n\nALI ABBASSI\, MASTER’S CANDIDATE\n_David R. Cheri
 ton School of Computer Science_\n\nWe present a variety of translation opt
 ions for converting Alloy to\nSMT-LIB via Alloy’s Kodkod interface. Our 
 translations\, which are\nimplemented in a library that we call Astra\, ar
 e based on converting\nthe set and relational operations of Alloy into the
 ir equivalent in\ntyped first order logic (TFOL). \n 
DTSTAMP:20250518T044824Z
END:VEVENT
END:VCALENDAR