BEGIN:VCALENDAR
VERSION:2.0
PRODID:calendify.com
BEGIN:VEVENT
UID:calendify-session-naJOPRRDg29
DTSTART:20241228T190000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20241228T194500Z
URL:https://calendify.com/session/naJOPRRDg29
LOCATION:\"KliMathematik Augsburg\" Table
SUMMARY:Diskussionsrunde zu Programmierung auf Typ- statt Implementations E
 bene (Abhängige Typen\, automatisches Beweisen\, Prolog)
CLASS:PUBLIC
DESCRIPTION:https://calendify.com/session/naJOPRRDg29
DTSTAMP:20260515T122611Z
CREATED:20241228T170004Z
LAST-MODIFIED:20250101T225003Z
END:VEVENT
END:VCALENDAR