BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20230619T113000Z
DTEND:20230619T114500Z
DCREATED:20230306T140857Z
UID:ATEvent-150426c1ff834471a18ceb2b345bac29
SEQUENCE:0
LAST-MODIFIED:20240123T112825Z
SUMMARY:RISC Forum
DESCRIPTION:Wolfgang Schreiner: RISCAL & RISCTP -\nAnalyzing Discrete 
 Theories and Algorithms\nby Model Checking & Proving
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR