BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T075919Z
CREATED:20121119T153916Z
UID:ATEvent-a3d8b2cb8a145796a414aba609758c63
LAST-MODIFIED:20121129T092005Z
SUMMARY:RISC Forum
DTSTART:20121203T123000Z
DTEND:20121203T132000Z
DESCRIPTION:Patrick Wijeram: student organization IAESTE\nMadalina Era
 scu: PhD thesis defense: Computational Logic and Quantifier Eliminatio
 n Techniques for (Semi-)automatic Static Analysis and Synthesis of Alg
 orithms
LOCATION:Seminar Room
CONTACT:another short talk included at beginning
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR