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:20250407T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 24. Vorlesung: Gödel\, Turing und der ganze Rest (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_a94c4e91493f210d4e7f0b0df88b8e01
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_a94c4e91493f210d4e7f0b0df88b8e01
DTSTART:20250714T111000
DTEND:20250714T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 23. Vorlesung: Gödels 1. Unvollständigkeitssatz (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_5228bce5902ad0370ee219c2e82a9260
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_5228bce5902ad0370ee219c2e82a9260
DTSTART:20250710T130000
DTEND:20250710T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 22. Vorlesung: Datalog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_7df1f1452dc85d0e875701a9f47de0f7
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_7df1f1452dc85d0e875701a9f47de0f7
DTSTART:20250707T111000
DTEND:20250707T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 21. Vorlesung: Endliche Interpretationen und Datenbanken (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_26f8bfe3f1f08ab1d7a4b62edd781176
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_26f8bfe3f1f08ab1d7a4b62edd781176
DTSTART:20250703T130000
DTEND:20250703T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 20. Vorlesung: Resolution (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_be884d36fd9e5f1e73184db2b47fdf13
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_be884d36fd9e5f1e73184db2b47fdf13
DTSTART:20250630T111000
DTEND:20250630T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 19. Vorlesung: Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_4ff9ecd4ee18f4191c9caad9f530d9c9
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_4ff9ecd4ee18f4191c9caad9f530d9c9
DTSTART:20250626T130000
DTEND:20250626T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 18. Vorlesung: Unifikation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_30e554c792fa4f781dec25391b1bd2a1
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_30e554c792fa4f781dec25391b1bd2a1
DTSTART:20250623T111000
DTEND:20250623T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 17. Vorlesung: Funktionen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_aa93ddb2d5127ee765db48a8660f9243
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_aa93ddb2d5127ee765db48a8660f9243
DTSTART:20250619T130000
DTEND:20250619T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 16. Vorlesung: Logisches Schließen – Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_c719a550a53ba22ae890f2a033e5588e
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_c719a550a53ba22ae890f2a033e5588e
DTSTART:20250616T111000
DTEND:20250616T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingsten (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_b3ea5479a300d8a318aef4809cd1ab26
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_b3ea5479a300d8a318aef4809cd1ab26
DTSTART:20250612T130000
DTEND:20250612T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingsten (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_53c46e59893cb2160b8d32dc07f78a23
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_53c46e59893cb2160b8d32dc07f78a23
DTSTART:20250609T111000
DTEND:20250609T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 15. Vorlesung: Logisches Schließen und Gleichheit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_f1f1e4148ba28b910a856fb51759121d
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_f1f1e4148ba28b910a856fb51759121d
DTSTART:20250605T130000
DTEND:20250605T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 14. Vorlesung: Modelltheorie und logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_fde7a8d4ae94941a570cf955c52ede19
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_fde7a8d4ae94941a570cf955c52ede19
DTSTART:20250602T111000
DTEND:20250602T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Himmelfahrt (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_ac83cfcf26c02eff4c6c6f858c42b8dc
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_ac83cfcf26c02eff4c6c6f858c42b8dc
DTSTART:20250529T130000
DTEND:20250529T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 13. Vorlesung: Prädikatenlogik: Syntax und Semantik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_6ae243b91186ff3d3d84ad6fa26886aa
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_6ae243b91186ff3d3d84ad6fa26886aa
DTSTART:20250526T111000
DTEND:20250526T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 12. Vorlesung: PSpace-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_cbd515f20f2daa6ee4c354fcdde6a1f4
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_cbd515f20f2daa6ee4c354fcdde6a1f4
DTSTART:20250522T130000
DTEND:20250522T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 11. Vorlesung: NL und PSpace (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_bae5677c3a9141c1106fed4bae158742
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_bae5677c3a9141c1106fed4bae158742
DTSTART:20250519T111000
DTEND:20250519T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 10. Vorlesung: NP\, Teil 2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_f393d5ff7bb709e275179cffea001fa3
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_f393d5ff7bb709e275179cffea001fa3
DTSTART:20250515T130000
DTEND:20250515T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 9. Vorlesung: NP und NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_acbd74d30d721e13b5288be1889274d6
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_acbd74d30d721e13b5288be1889274d6
DTSTART:20250512T111000
DTEND:20250512T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 8. Vorlesung: Beziehungen zwischen Komplexitätsklassen / Effizient lösbare Probleme (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_a521e75b215379ab98eb8ef3974d5497
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_a521e75b215379ab98eb8ef3974d5497
DTSTART:20250508T130000
DTEND:20250508T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 7. Vorlesung: Einführung in die Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_4ea3d06ab57a24333198e77d1b737a37
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_4ea3d06ab57a24333198e77d1b737a37
DTSTART:20250505T111000
DTEND:20250505T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 1. Mai (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_9e6010f7fa6af28e56f446c47f18d291
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_9e6010f7fa6af28e56f446c47f18d291
DTSTART:20250501T130000
DTEND:20250501T143000
LOCATION:APB
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 6. Vorlesung: Unentscheidbare Probleme formaler Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_e1816f0aac571a824dfcd8048a045184
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_e1816f0aac571a824dfcd8048a045184
DTSTART:20250428T111000
DTEND:20250428T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 5. Vorlesung: Der Satz von Rice und das Postsche Korrespondenzproblem (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_b4d1c867fec137776b4da09670b50d27
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_b4d1c867fec137776b4da09670b50d27
DTSTART:20250424T130000
DTEND:20250424T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Ostermontag (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_00587896e399ea4f6470a532b44691a8
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_00587896e399ea4f6470a532b44691a8
DTSTART:20250421T111000
DTEND:20250421T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 4. Vorlesung: Das Halteproblem und Reduktionen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_c6aca465e5e3586144c66df3e04c4d01
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_c6aca465e5e3586144c66df3e04c4d01
DTSTART:20250417T130000
DTEND:20250417T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 3. Vorlesung: WHILE und LOOP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_50ccd9bc11dcb536c5e14bbfe5e6594a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_50ccd9bc11dcb536c5e14bbfe5e6594a
DTSTART:20250414T111000
DTEND:20250414T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 2. Vorlesung: Berechenbarkeit und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_c1d901d5f0a379d02bccfea66f10a30b
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_c1d901d5f0a379d02bccfea66f10a30b
DTSTART:20250410T130000
DTEND:20250410T143000
LOCATION:HSZ/0002/E
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 1. Vorlesung: Willkommen und Einleitung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_63407cc218a024c94f106cdafe530839
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2025)#_63407cc218a024c94f106cdafe530839
DTSTART:20250407T111000
DTEND:20250407T124000
LOCATION:HÜL/S386/H
DTSTAMP:20251107T134220
SEQUENCE:43533
END:VEVENT
END:VCALENDAR