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:20201026T111000
TZOFFSETFROM:+0100
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Formale Systeme: Konsultation 2 (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_4b2c57237e3614775da7087139c3de04
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_4b2c57237e3614775da7087139c3de04
DTSTART:20210304T092000
DTEND:20210304T105000
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Besprechung der Musterklausur (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_f9d006767dbccc2ff4a5e04b782199dd
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_f9d006767dbccc2ff4a5e04b782199dd
DTSTART:20210225T092000
DTEND:20210225T105000
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 13. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_136a7b77f24435330053a26f1c60ae69
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_136a7b77f24435330053a26f1c60ae69
DTSTART:20210204T233000
DTEND:20210204T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Bonusmaterial: Zusammenfassung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_f3d0bbbfca0744483777def0bff8e88c
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_f3d0bbbfca0744483777def0bff8e88c
DTSTART:20210204T233000
DTEND:20210204T235900
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Ergebnisse der Vorlesungsevaluation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cdd74a38c804917115b10a01fb59ec0c
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cdd74a38c804917115b10a01fb59ec0c
DTSTART:20210201T233000
DTEND:20210201T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 25. NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_e80643e4994c17da1911e7f17f60d697
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_e80643e4994c17da1911e7f17f60d697
DTSTART:20210201T092000
DTEND:20210201T105000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 12. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_2af37ce52965183af09edb34a78df8c0
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_2af37ce52965183af09edb34a78df8c0
DTSTART:20210128T233000
DTEND:20210128T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 24. Horn-Logik und Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_58048ee56d770d14f50414d6760f5573
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_58048ee56d770d14f50414d6760f5573
DTSTART:20210128T111000
DTEND:20210128T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 23. Logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_f7601d2dff5182c9a390cd321edeee44
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_f7601d2dff5182c9a390cd321edeee44
DTSTART:20210125T092000
DTEND:20210125T105000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 11. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cf6f6c2d1bddfdbe58c761657c0ba956
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cf6f6c2d1bddfdbe58c761657c0ba956
DTSTART:20210121T233000
DTEND:20210121T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 22. Äquivalenzen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_71bd36c0cf115a1ada5f1733c3d28393
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_71bd36c0cf115a1ada5f1733c3d28393
DTSTART:20210121T111000
DTEND:20210121T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 21. Aussagenlogik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cff374998130a119b77c5df3679bf215
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cff374998130a119b77c5df3679bf215
DTSTART:20210118T092000
DTEND:20210118T105000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 10. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_d1491c9995dbc7d13a88367acc5f5950
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_d1491c9995dbc7d13a88367acc5f5950
DTSTART:20210114T233000
DTEND:20210114T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 20. Typ 0 und Typ 1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_89541676b9df4978189c7e2be6404777
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_89541676b9df4978189c7e2be6404777
DTSTART:20210114T111000
DTEND:20210114T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 19. Nichtdeterministische Turingmaschinen und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_8b35cf76f823b38fcfaf7d380282b644
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_8b35cf76f823b38fcfaf7d380282b644
DTSTART:20210111T092000
DTEND:20210111T105000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 9. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c98ba6a9c51b71676e11d1b445de6593
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c98ba6a9c51b71676e11d1b445de6593
DTSTART:20210107T233000
DTEND:20210107T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 18. Turingmaschinen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_45e53866f67f157355f6af8352987fd5
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_45e53866f67f157355f6af8352987fd5
DTSTART:20210107T111000
DTEND:20210107T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Werbung: PAUL Consultants e.V. (Praktikum)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_ea9678224c1d7ae3def7a68d519bc4ec
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_ea9678224c1d7ae3def7a68d519bc4ec
DTSTART:20210107T111000
DTEND:20210107T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 17. Deterministische Sprachen / Entscheidungsprobleme (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_dca318c975d7ff6482feb0df545028f4
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_dca318c975d7ff6482feb0df545028f4
DTSTART:20210104T092000
DTEND:20210104T105000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 8. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_173255de17a55e7bd522fd3a1613bc44
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_173255de17a55e7bd522fd3a1613bc44
DTSTART:20201217T233000
DTEND:20201217T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 16. Kellerautomaten & CFGs (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_72ad84416168ad9afd352b7328fdde9b
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_72ad84416168ad9afd352b7328fdde9b
DTSTART:20201217T111000
DTEND:20201217T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 15. Einleitung Kellerautomaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_b9591561432c468e41a9cb8f9af41b1d
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_b9591561432c468e41a9cb8f9af41b1d
DTSTART:20201214T092000
DTEND:20201214T105000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 7. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_ca40f34962ba74acb73a57f2b488c869
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_ca40f34962ba74acb73a57f2b488c869
DTSTART:20201210T233000
DTEND:20201210T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 14. Abschlusseigenschaften kontextfreier Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_a694c3a142921ea2e95c35b307a5f6cb
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_a694c3a142921ea2e95c35b307a5f6cb
DTSTART:20201210T111000
DTEND:20201210T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 13. Das Pumping Lemma kontextfreier Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_0b380bcab43b8f916165bb6750b5aaed
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_0b380bcab43b8f916165bb6750b5aaed
DTSTART:20201207T111000
DTEND:20201207T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 6. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c3efb6d4d4962777039dd173d36fe3ed
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c3efb6d4d4962777039dd173d36fe3ed
DTSTART:20201203T233000
DTEND:20201203T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 12. Das Wortproblem für kontextfreie Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c0f59072e15a2518f33aab202dba7936
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c0f59072e15a2518f33aab202dba7936
DTSTART:20201203T130000
DTEND:20201203T143000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 11. Von regulären zu kontextfreien Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_d31ff32b09ff33b089da3b10ad3b610e
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_d31ff32b09ff33b089da3b10ad3b610e
DTSTART:20201130T111000
DTEND:20201130T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 5. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_2ad5ab7b86e34ce184d7232975ca889f
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_2ad5ab7b86e34ce184d7232975ca889f
DTSTART:20201126T233000
DTEND:20201126T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 10. Grenzen regulärer Sprachen / Probleme für Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cdc64291160eeb20e92b3387f543ad17
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_cdc64291160eeb20e92b3387f543ad17
DTSTART:20201126T130000
DTEND:20201126T143000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Konsultation 1 (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_1202506ef5d89dcec507e1cc9a3a52d0
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_1202506ef5d89dcec507e1cc9a3a52d0
DTSTART:20201123T111000
DTEND:20201123T124000
LOCATION:Zoom
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 9. Minimale Automaten (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_d0149cc5a3813156ba48518d0fcd3d3a
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_d0149cc5a3813156ba48518d0fcd3d3a
DTSTART:20201123T111000
DTEND:20201123T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 4. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_373685f4dfd18d8d57daf61fd824831d
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_373685f4dfd18d8d57daf61fd824831d
DTSTART:20201119T233000
DTEND:20201119T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 8. Minimale Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_a34dd2538d414ab0e3685f74c85c0ad5
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_a34dd2538d414ab0e3685f74c85c0ad5
DTSTART:20201119T130000
DTEND:20201119T143000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 7. Reguläre Ausdrücke (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_bcc1b2d8f47d0a019ad184db54bc81d6
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_bcc1b2d8f47d0a019ad184db54bc81d6
DTSTART:20201116T111000
DTEND:20201116T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 3. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_6ae439aa22f2214d0697a3dd242b020d
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_6ae439aa22f2214d0697a3dd242b020d
DTSTART:20201112T233000
DTEND:20201112T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 6. Reguläre Ausdrücke (1) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_59ef5ae608c32139d941c9e13ad60eb8
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_59ef5ae608c32139d941c9e13ad60eb8
DTSTART:20201112T130000
DTEND:20201112T143000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 5. Abschlusseigenschaften regulärer Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_204ef73dd8cdf8dbc10ac504936b0a99
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_204ef73dd8cdf8dbc10ac504936b0a99
DTSTART:20201109T111000
DTEND:20201109T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 2. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_497cc150bc82645c382c018037416fce
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_497cc150bc82645c382c018037416fce
DTSTART:20201105T233000
DTEND:20201105T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 4. Nichtdeterministische Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_aaa3038c42e5b6280a3b395d77bc390f
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_aaa3038c42e5b6280a3b395d77bc390f
DTSTART:20201105T130000
DTEND:20201105T143000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 3. Endliche Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_50363d5a47002f3052cc688e4d0e448f
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_50363d5a47002f3052cc688e4d0e448f
DTSTART:20201102T111000
DTEND:20201102T124000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 1. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_038a5fd84932f89b719178299f432a59
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_038a5fd84932f89b719178299f432a59
DTSTART:20201029T233000
DTEND:20201029T235900
LOCATION:(online)
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 2. Grammatiken und die Chomsky-Hierarchie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_3c4a34b0174124ccee32b1e0aeb6e9ab
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_3c4a34b0174124ccee32b1e0aeb6e9ab
DTSTART:20201029T130000
DTEND:20201029T143000
LOCATION:Video
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 1. Begrüßung und Einleitung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c9c087e836aff2d2aa20f0104027f4d6
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)#_c9c087e836aff2d2aa20f0104027f4d6
DTSTART:20201026T111000
DTEND:20201026T124000
LOCATION:Zoom
DTSTAMP:20250305T134036
SEQUENCE:41696
END:VEVENT
END:VCALENDAR