BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T044024Z
CREATED:20161017T130342Z
UID:ATEvent-4f69ba54054a4959b26e5442b0cb20df
LAST-MODIFIED:20161107T155520Z
SUMMARY:Risc Colloquium
DTSTART:20161114T123000Z
DTEND:20161114T133000Z
DESCRIPTION:Prof. Erika Abraham: Symbolic Computation Techniques in Sa
 tisfiability Checking
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR