BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:ICCL-Veranstaltungen
X-WR-CALDESC:
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:STANDARD
DTSTART:20231101T130000
TZOFFSETFROM:+0100
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Theorem Proving with LEAN: Kickoff (Praktikum)
URL://iccl.inf.tu-dresden.de/web/Theorem_Proving_with_LEAN_(WS2023)#_b4e90007c06899956dcb91cd0113a4c1
UID://iccl.inf.tu-dresden.de/web/Theorem_Proving_with_LEAN_(WS2023)#_b4e90007c06899956dcb91cd0113a4c1
DTSTART:20231101T130000
DTEND:20231101T143000
LOCATION:APB 3027
DTSTAMP:20231115T130206
SEQUENCE:39070
END:VEVENT
END:VCALENDAR