BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260410T062552Z
CREATED:20140616T115141Z
UID:ATEvent-69199444ecb04b7d87bcc94db708afb0
LAST-MODIFIED:20140616T115204Z
SUMMARY:Risc Colloquium
DTSTART:20140711T090000Z
DTEND:20140711T095000Z
DESCRIPTION:Prof. Jordi Levy: The Nature of Industrial SAT Instances
LOCATION:Seminar Room pond\, RISC
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR