BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260415T025155Z
CREATED:20230306T140857Z
UID:ATEvent-150426c1ff834471a18ceb2b345bac29
LAST-MODIFIED:20240123T112825Z
SUMMARY:RISC Forum
DTSTART:20230619T113000Z
DTEND:20230619T114500Z
DESCRIPTION:Wolfgang Schreiner: RISCAL & RISCTP -\nAnalyzing Discrete 
 Theories and Algorithms\nby Model Checking & Proving
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR