BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T093849Z
CREATED:20090610T145346Z
UID:ATEvent-6bce772689eb6e1a12c9ada51e4b9dfe
LAST-MODIFIED:20090610T150142Z
SUMMARY:RISC Forum
DTSTART:20090622T113000Z
DTEND:20090622T115000Z
DESCRIPTION:Robert Vajda: Supporting Exploration in Elementary Analysi
 s by Computational\, Graphical and Reasoning Tools (PhD Thesis Summary
 \, Internal Defence)
LOCATION:RISC seminar room
CATEGORIES:Meeting, Talk
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR