BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260415T062820Z
CREATED:20231016T114731Z
UID:ATEvent-d9936a309b784ffd9ed15a5a446ea69d
LAST-MODIFIED:20240123T112937Z
SUMMARY:RISC Forum
DTSTART:20240108T123000Z
DTEND:20240108T124500Z
DESCRIPTION:Wolfgang Schreiner: The RISCTP Software -\nA MESON Prover 
 with Equality and Theory Support
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR