BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260421T142816Z
CREATED:20250303T114615Z
UID:ATEvent-cca39615af9f4309bcd38997117158df
LAST-MODIFIED:20250602T073544Z
SUMMARY:RISC Forum
DTSTART:20250616T113000Z
DTEND:20250616T114500Z
DESCRIPTION:Tereso Del Rio Almajano: Speeding Up Quantifier Eliminatio
 n by Machine learning
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR