BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T075919Z
CREATED:20120903T061758Z
UID:ATEvent-e7ebc9b2f3623c4332a50aeb62335afc
LAST-MODIFIED:20120914T085418Z
SUMMARY:RISC Colloquium
DTSTART:20121015T113000Z
DTEND:20121015T123000Z
DESCRIPTION:Prof. Scott McCallum: Improvements and Extensions to CAD-B
 ased Quantifier Elimination
LOCATION:Seminar Room
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR