BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260415T080635Z
CREATED:20240227T092250Z
UID:ATEvent-872095556321414383292277dd8b9d99
LAST-MODIFIED:20240716T071822Z
SUMMARY:RISC Forum
DTSTART:20240513T113000Z
DTEND:20240513T114500Z
DESCRIPTION:Wolfgang Windsteiger: EFFICIENT CHECKING OF\nSIDE-CONDITIO
 NS IN THEOREMA
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR