BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20140711T090000Z
DTEND:20140711T095000Z
DCREATED:20140616T115141Z
UID:ATEvent-69199444ecb04b7d87bcc94db708afb0
SEQUENCE:0
LAST-MODIFIED:20140616T115204Z
SUMMARY:Risc Colloquium
DESCRIPTION:Prof. Jordi Levy: The Nature of Industrial SAT Instances
LOCATION:Seminar Room pond\, RISC
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR