BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T081646Z
CREATED:20131118T082227Z
UID:ATEvent-5f574dac589a4d63b16e4497137024bc
LAST-MODIFIED:20131118T083351Z
SUMMARY:Risc Colloquium
DTSTART:20131125T123000Z
DTEND:20131125T133000Z
DESCRIPTION:Dr. Cezary Kaliszyk: Learning-assisted automated reasoning
  for higher-order logic. (On invitation by Prof. Buchberger)
LOCATION:Seminar Room pond\, RISC
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR