BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260417T135358Z
CREATED:20130604T151618Z
UID:ATEvent-a6cd74aea7c058b1846fada64d073073
LAST-MODIFIED:20130604T152412Z
SUMMARY:Risc Colloquium
DTSTART:20130624T113000Z
DTEND:20130624T123000Z
DESCRIPTION:Prof. Tobias Nipkow (TU Muenchen): Teaching Semantics with
  a Proof Assistant
LOCATION:Seminar Room
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR