BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20130624T113000Z
DTEND:20130624T123000Z
DCREATED:20130604T151618Z
UID:ATEvent-a6cd74aea7c058b1846fada64d073073
SEQUENCE:0
LAST-MODIFIED:20130604T152412Z
SUMMARY:Risc Colloquium
DESCRIPTION:Prof. Tobias Nipkow (TU Muenchen): Teaching Semantics with
  a Proof Assistant
LOCATION:Seminar Room
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR