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:DAYLIGHT
DTSTART:20221026T130000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Theorem Proving with LEAN: First Meeting (Praktikum)
URL://iccl.inf.tu-dresden.de/web/Theorem_Proving_with_LEAN_(WS2022)#_825728238c1d3b6cb9db7ffe4c6e8b3f
UID://iccl.inf.tu-dresden.de/web/Theorem_Proving_with_LEAN_(WS2022)#_825728238c1d3b6cb9db7ffe4c6e8b3f
DTSTART:20221026T130000
DTEND:20221026T143000
LOCATION:APB 3027
DTSTAMP:20221024T074236
SEQUENCE:37423
END:VEVENT
END:VCALENDAR