BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T081608Z
CREATED:20120523T082902Z
UID:ATEvent-9af5483cdff0cbbb04648c0aed24418a
LAST-MODIFIED:20120529T112921Z
SUMMARY:Risc Colloquium
DTSTART:20120604T113000Z
DTEND:20120604T123000Z
DESCRIPTION:Prof. Tran Quoc-Nam: Algebraic and Statistic Computation f
 or Model Checking in Bioinformatics
LOCATION:Seminar Room
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR