BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T093924Z
CREATED:20081006T141011Z
UID:ATEvent-9435f1ae2013daef82da11842c5ae760
LAST-MODIFIED:20090429T092521Z
SUMMARY:RISC Forum
DTSTART:20090316T123000Z
DTEND:20090316T130000Z
DESCRIPTION:Camelia Rosenkranz: Thesis Defense "Retrieval and Structur
 ing of Large Mathematical Knowledge Bases in Theorema"
LOCATION:RISC seminar room
CATEGORIES:Meeting, Talk
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR