BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260414T123413Z
CREATED:20210909T131049Z
UID:ATEvent-4c5da1ba6778463687325cd033c4c3ef
LAST-MODIFIED:20230118T142151Z
SUMMARY:RISC Forum
DTSTART:20220117T123000Z
DTEND:20220117T124500Z
DESCRIPTION:Wolfgang Windsteiger : Using Theorema as a Proof Tutor in 
 the Classroom
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR