BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260307T063717Z
CREATED:20101122T130340Z
UID:ATEvent-282a417fbe2f09f9293bef2bbb6f21fe
LAST-MODIFIED:20101130T094832Z
SUMMARY:RISC Forum
DTSTART:20101129T123000Z
DTEND:20101129T130000Z
DESCRIPTION:Zoltan Istenes: Using Formal Methods in Robotics
LOCATION:Seminar Room
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR