BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260410T084425Z
CREATED:20250303T114615Z
UID:ATEvent-072bdfed88f54eb7b9ae390f912c5ae7
LAST-MODIFIED:20250415T080339Z
SUMMARY:RISC Forum
DTSTART:20250428T113000Z
DTEND:20250428T123000Z
DESCRIPTION:Prof. Dr. Mauricio-Ayala-Rincon: On the Computational Veri
 fication of Anti-unification
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR