BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T062947Z
CREATED:20210909T131046Z
UID:ATEvent-346e1c45ba4e410c89211ed61dae8b2c
LAST-MODIFIED:20211216T174459Z
SUMMARY:RISC Forum
DTSTART:20220110T123000Z
DTEND:20220110T124500Z
DESCRIPTION:Wolfgang Schreiner: The RISCAL Software - Semantic Evaluat
 ion versus SMT Solving
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR