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:20260413T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Probeklausur (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_e1675ada5c9a030f53e66f5e048aa800
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_e1675ada5c9a030f53e66f5e048aa800
DTSTART:20260723T130000
DTEND:20260723T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 24. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_1aa639922a82321af0196c5087eb90de
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_1aa639922a82321af0196c5087eb90de
DTSTART:20260720T111000
DTEND:20260720T124000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 23. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_d511dbb70dd31d4bed6a92338f49aea1
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_d511dbb70dd31d4bed6a92338f49aea1
DTSTART:20260716T130000
DTEND:20260716T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 22. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_1f62b86c91e23dd51a826de64d5a033c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_1f62b86c91e23dd51a826de64d5a033c
DTSTART:20260713T111000
DTEND:20260713T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 21. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_3635e8a66c2fe2e545a16a1066aa59db
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_3635e8a66c2fe2e545a16a1066aa59db
DTSTART:20260709T130000
DTEND:20260709T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 20. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_df489022d6a6d95241e7bb79b21557fb
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_df489022d6a6d95241e7bb79b21557fb
DTSTART:20260706T111000
DTEND:20260706T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 19. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_523c479a067ea5962a3e09155cb8fa75
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_523c479a067ea5962a3e09155cb8fa75
DTSTART:20260702T130000
DTEND:20260702T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 18. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_5530ea114e12b1b2c31dfce06cdac175
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_5530ea114e12b1b2c31dfce06cdac175
DTSTART:20260629T111000
DTEND:20260629T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: OUTPUT.DD (keine Lehre am Nachmittag) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_e83e0f9cdba190b73ce309fdb2e88600
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_e83e0f9cdba190b73ce309fdb2e88600
DTSTART:20260625T130000
DTEND:20260625T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 17. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_a22cc5c92318685b71bb4d71e4fd49e5
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_a22cc5c92318685b71bb4d71e4fd49e5
DTSTART:20260622T111000
DTEND:20260622T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 16. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_e5e00e984f7d1939df05f9a97cf3f2d2
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_e5e00e984f7d1939df05f9a97cf3f2d2
DTSTART:20260618T130000
DTEND:20260618T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 15. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_22012487824015fc86c2d5f2715315fd
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_22012487824015fc86c2d5f2715315fd
DTSTART:20260615T111000
DTEND:20260615T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 14. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_b885a4beee0cd5f563f2e79f7d9ce534
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_b885a4beee0cd5f563f2e79f7d9ce534
DTSTART:20260611T130000
DTEND:20260611T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 13. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_4d1f56c557fa168c2a7d3d5d018c0396
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_4d1f56c557fa168c2a7d3d5d018c0396
DTSTART:20260608T111000
DTEND:20260608T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 12. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_bb5060c1c1d109f848d9d1d4dfc5da21
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_bb5060c1c1d109f848d9d1d4dfc5da21
DTSTART:20260604T130000
DTEND:20260604T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 11. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_9eb4a1f1b3bfe02c562b285942dd705c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_9eb4a1f1b3bfe02c562b285942dd705c
DTSTART:20260601T111000
DTEND:20260601T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingstwoche (keine Lehre) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_266884f0c3ef364465027c888958cdf3
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_266884f0c3ef364465027c888958cdf3
DTSTART:20260528T130000
DTEND:20260528T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingstmontag (gesetzlicher Feiertag) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_fd6a88a72de9782518495a4b0e9e5587
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_fd6a88a72de9782518495a4b0e9e5587
DTSTART:20260525T111000
DTEND:20260525T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 10. Vorlesung (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_0f527dde1b1e4833963c13ceef6b498a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_0f527dde1b1e4833963c13ceef6b498a
DTSTART:20260521T130000
DTEND:20260521T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 9. NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_004eab21fc0e07acb34bd5f360b85168
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_004eab21fc0e07acb34bd5f360b85168
DTSTART:20260518T111000
DTEND:20260518T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 5. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_f0742ebb4eefdf604c01f863c7e83a67
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_f0742ebb4eefdf604c01f863c7e83a67
DTSTART:20260517T233000
DTEND:20260517T235900
LOCATION:--
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Himmelfahrt (gesetzlicher Feiertag) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_6409e3e0cfa427d02ea427af77b0b059
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_6409e3e0cfa427d02ea427af77b0b059
DTSTART:20260514T130000
DTEND:20260514T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 8. NP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_60e08d49a17a0f6ab60329fae373075e
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_60e08d49a17a0f6ab60329fae373075e
DTSTART:20260511T111000
DTEND:20260511T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übungsblatt 4 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_60d24b377caf0c128219873f61126677
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_60d24b377caf0c128219873f61126677
DTSTART:20260510T233000
DTEND:20260510T235900
LOCATION:--
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 7. Beziehungen zwischen Komplexitätsklassen / Effizient lösbare Probleme (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_d184795668fca35c275955b44fcf1ec8
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_d184795668fca35c275955b44fcf1ec8
DTSTART:20260507T130000
DTEND:20260507T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 6. Einführung in die Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_46a802c8d5ac4793fb627ed1188ccf1a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_46a802c8d5ac4793fb627ed1188ccf1a
DTSTART:20260504T111000
DTEND:20260504T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übungsblatt 3 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_ff29bde69e7dbc4095ecf69f7a250184
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_ff29bde69e7dbc4095ecf69f7a250184
DTSTART:20260503T233000
DTEND:20260503T235900
LOCATION:--
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 5. DPLL und SMT (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_cb29309fd9b87a37c9755d8411a0222e
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_cb29309fd9b87a37c9755d8411a0222e
DTSTART:20260430T130000
DTEND:20260430T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Termin entfällt (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_a6fdb200469db63762e89857847a403b
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_a6fdb200469db63762e89857847a403b
DTSTART:20260427T111000
DTEND:20260427T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übungsblatt 2 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_08b119fbd322c8842f1776eef5bdfff2
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_08b119fbd322c8842f1776eef5bdfff2
DTSTART:20260426T233000
DTEND:20260426T235900
LOCATION:--
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 4. Resolution und Horn-Logik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_a4c913718bfa0b8911d6f54d85bba3c8
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_a4c913718bfa0b8911d6f54d85bba3c8
DTSTART:20260423T130000
DTEND:20260423T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 3. Verfahren zum logischen Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_aeac0fdbdbbac179b4f5d8ee2eeb33a4
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_aeac0fdbdbbac179b4f5d8ee2eeb33a4
DTSTART:20260420T111000
DTEND:20260420T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übungsblatt 1 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_b357ced8fcec2d3ab56a0d3eb6acfa30
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_b357ced8fcec2d3ab56a0d3eb6acfa30
DTSTART:20260419T233000
DTEND:20260419T235900
LOCATION:--
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 2. Logische Schlussfolgerungen und Äquivalenzen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_2730b7da054235a4a30d278c9d29fbc8
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_2730b7da054235a4a30d278c9d29fbc8
DTSTART:20260416T130000
DTEND:20260416T143000
LOCATION:HSZ/0002
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: 1. Einleitung / Syntax und Semantik der Aussagenlogik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_771b908176026556226aa6222e5ce7b0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2026)#_771b908176026556226aa6222e5ce7b0
DTSTART:20260413T111000
DTEND:20260413T124000
LOCATION:HÜL/S386
DTSTAMP:20260512T121014
SEQUENCE:44404
END:VEVENT
END:VCALENDAR