BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20161114T123000Z
DTEND:20161114T133000Z
DCREATED:20161017T130342Z
UID:ATEvent-4f69ba54054a4959b26e5442b0cb20df
SEQUENCE:0
LAST-MODIFIED:20161107T155520Z
SUMMARY:Risc Colloquium
DESCRIPTION:Prof. Erika Abraham: Symbolic Computation Techniques in Sa
 tisfiability Checking
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR