BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20220110T123000Z
DTEND:20220110T124500Z
DCREATED:20210909T131046Z
UID:ATEvent-346e1c45ba4e410c89211ed61dae8b2c
SEQUENCE:0
LAST-MODIFIED:20211216T174459Z
SUMMARY:RISC Forum
DESCRIPTION:Wolfgang Schreiner: The RISCAL Software - Semantic Evaluat
 ion versus SMT Solving
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR