BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20101129T123000Z
DTEND:20101129T130000Z
DCREATED:20101122T130340Z
UID:ATEvent-282a417fbe2f09f9293bef2bbb6f21fe
SEQUENCE:0
LAST-MODIFIED:20101130T094832Z
SUMMARY:RISC Forum
DESCRIPTION:Zoltan Istenes: Using Formal Methods in Robotics
LOCATION:Seminar Room
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR