BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20210517T113000Z
DTEND:20210517T114500Z
DCREATED:20210312T091552Z
UID:ATEvent-d2319aa5c755482e991a8c85a8ce5b73
SEQUENCE:0
LAST-MODIFIED:20220125T131100Z
SUMMARY:RISC Forum
DESCRIPTION:Tudor Jebelean: Computer Aided Teaching of Computational L
 ogic Using Mathematica and Theorema
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR