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:20240408T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Lernraum (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_69e2c4a33d72aeb95b3a3ad6bc8fe208
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_69e2c4a33d72aeb95b3a3ad6bc8fe208
DTSTART:20240809T130000
DTEND:20240809T143000
LOCATION:APB E023
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Lernraum (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_02875c9c7711d47e81a6b3358ef8127d
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_02875c9c7711d47e81a6b3358ef8127d
DTSTART:20240807T130000
DTEND:20240807T143000
LOCATION:APB E023
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Lernraum - Probeklausur (Achtung: 14:00-15:30 Uhr) (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_786d36e2cb031eb989503f946bbb70af
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_786d36e2cb031eb989503f946bbb70af
DTSTART:20240805T130000
DTEND:20240805T143000
LOCATION:APB E023
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Repetitorium (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_029354f35f4724cab0deec9bb9e13893
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_029354f35f4724cab0deec9bb9e13893
DTSTART:20240718T130000
DTEND:20240718T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Gödel\, Turing und der ganze Rest (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_5b276aa9b2f2daed90f4b42bee806304
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_5b276aa9b2f2daed90f4b42bee806304
DTSTART:20240715T111000
DTEND:20240715T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 12 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_77672f31e5295da17e6cb8cba869625e
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_77672f31e5295da17e6cb8cba869625e
DTSTART:20240714T233000
DTEND:20240714T235900
LOCATION:-
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Gödels 1. Unvollständigkeitssatz (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_f66105211b015e7259c0241cfb8b56dd
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_f66105211b015e7259c0241cfb8b56dd
DTSTART:20240711T130000
DTEND:20240711T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Datalog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_0742c63bd9a262ba49134f1823ec451c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_0742c63bd9a262ba49134f1823ec451c
DTSTART:20240708T111000
DTEND:20240708T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 11 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_4fa3350ea6fed2cf9e11ececfaeb354d
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_4fa3350ea6fed2cf9e11ececfaeb354d
DTSTART:20240707T233000
DTEND:20240707T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Endliche Modelle und Datenbanken (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_07e9ca8567ffa2ba3f29e294e6db071f
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_07e9ca8567ffa2ba3f29e294e6db071f
DTSTART:20240704T130000
DTEND:20240704T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Resolution (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_11eb8002678e0e3e5f4918f5e34cf075
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_11eb8002678e0e3e5f4918f5e34cf075
DTSTART:20240701T111000
DTEND:20240701T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 10 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_8edd343de57a7bb63eb6d37f066fa768
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_8edd343de57a7bb63eb6d37f066fa768
DTSTART:20240630T233000
DTEND:20240630T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Resolution (1) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_041860584620692da5510be52f7d3dad
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_041860584620692da5510be52f7d3dad
DTSTART:20240627T130000
DTEND:20240627T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Unifikation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_1fc69f2d9621607a3a87029770e8bc64
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_1fc69f2d9621607a3a87029770e8bc64
DTSTART:20240624T111000
DTEND:20240624T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 9 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_4cdbce59c9517576b8a28b4f51d98a17
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_4cdbce59c9517576b8a28b4f51d98a17
DTSTART:20240623T233000
DTEND:20240623T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Funktionen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_0bad4fa5188514e86b1894c934e9cf7f
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_0bad4fa5188514e86b1894c934e9cf7f
DTSTART:20240620T130000
DTEND:20240620T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Logisches Schließen (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_9c66d070ec582e2495ffba7298e42419
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_9c66d070ec582e2495ffba7298e42419
DTSTART:20240617T111000
DTEND:20240617T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 8 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_b65cf256d28467a4fed02cbb43d97053
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_b65cf256d28467a4fed02cbb43d97053
DTSTART:20240616T233000
DTEND:20240616T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: OUTPUT.DD (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_ff3d71af88ee043db90c5e79e9ff0b7d
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_ff3d71af88ee043db90c5e79e9ff0b7d
DTSTART:20240613T130000
DTEND:20240613T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Keine Vorlesung (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_fe9f489b703694a9710508a23e9a22de
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_fe9f489b703694a9710508a23e9a22de
DTSTART:20240610T111000
DTEND:20240610T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Logisches Schließen (1) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_7a59ebb093b381721382be860a909c69
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_7a59ebb093b381721382be860a909c69
DTSTART:20240606T130000
DTEND:20240606T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Modelltheorie und logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_45bd35f13665c3797bd26ae9ccbcd710
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_45bd35f13665c3797bd26ae9ccbcd710
DTSTART:20240603T111000
DTEND:20240603T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 7 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_4262689f5107d02ad7d7c200d0ba4697
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_4262689f5107d02ad7d7c200d0ba4697
DTSTART:20240602T233000
DTEND:20240602T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Prädikatenlogik: Syntax und Semantik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_fff8c3a58eceb374f6ecd4edea36c50c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_fff8c3a58eceb374f6ecd4edea36c50c
DTSTART:20240530T130000
DTEND:20240530T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: PSpace-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_292e801f3f642b489baef42bacedeb69
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_292e801f3f642b489baef42bacedeb69
DTSTART:20240527T111000
DTEND:20240527T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 6 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_b3c1f5f8430d5469b80fa4bbed7b7df2
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_b3c1f5f8430d5469b80fa4bbed7b7df2
DTSTART:20240526T233000
DTEND:20240526T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Pfingsten (vorlesungsfreie Woche) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_17f4d140dadd420fda686b3e10bf6057
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_17f4d140dadd420fda686b3e10bf6057
DTSTART:20240523T130000
DTEND:20240523T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
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_(SS2024)#_2cdbd383db7072b44af974309cec4037
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_2cdbd383db7072b44af974309cec4037
DTSTART:20240520T111000
DTEND:20240520T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: NL und PSpace (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_66f90cd411658f2207caa194dbcb6b84
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_66f90cd411658f2207caa194dbcb6b84
DTSTART:20240516T130000
DTEND:20240516T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: NP\, Teil 2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_56d08020bf85b4b0381bc7debcea45c7
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_56d08020bf85b4b0381bc7debcea45c7
DTSTART:20240513T111000
DTEND:20240513T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 5 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_625b675f5cbc3080928341e300156b78
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_625b675f5cbc3080928341e300156b78
DTSTART:20240512T233000
DTEND:20240512T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Christi Himmelfahrt (gesetzlicher Feiertag) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_9b0d0904716587f711427f39f2822bc3
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_9b0d0904716587f711427f39f2822bc3
DTSTART:20240509T130000
DTEND:20240509T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: NP und NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_1f07a7bb13d50eaeeb9edcbb117e0376
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_1f07a7bb13d50eaeeb9edcbb117e0376
DTSTART:20240506T111000
DTEND:20240506T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 4 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_0bc3bd86eca0d0f519d4a86c8ee6ff49
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_0bc3bd86eca0d0f519d4a86c8ee6ff49
DTSTART:20240505T233000
DTEND:20240505T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Beziehungen zwischen Komplexitätsklassen / Effizient lösbare Probleme (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_cfd7bc10a74b6fe2095e520292fafb26
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_cfd7bc10a74b6fe2095e520292fafb26
DTSTART:20240502T130000
DTEND:20240502T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Einführung in die Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_f8241a530dc57fa12458957976cecf26
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_f8241a530dc57fa12458957976cecf26
DTSTART:20240429T111000
DTEND:20240429T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 3 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_3c3f57fbc3eaa133abc074c0e6294a6d
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_3c3f57fbc3eaa133abc074c0e6294a6d
DTSTART:20240428T233000
DTEND:20240428T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Unentscheidbare Probleme formaler Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_8dd54a624fd4f3abf0dd14bf46de14a3
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_8dd54a624fd4f3abf0dd14bf46de14a3
DTSTART:20240425T130000
DTEND:20240425T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Der Satz von Rice und das Postsche Korrespondenzproblem (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_d20a6eb2d4e3762be9f51c6846b1ff9c
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_d20a6eb2d4e3762be9f51c6846b1ff9c
DTSTART:20240422T111000
DTEND:20240422T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 2 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_ff9a0a46a9c7893eb7a60d3f509fcd42
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_ff9a0a46a9c7893eb7a60d3f509fcd42
DTSTART:20240421T233000
DTEND:20240421T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Das Halteproblem und Reduktionen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_8f38f97982e34aea87cda0afd6e1596a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_8f38f97982e34aea87cda0afd6e1596a
DTSTART:20240418T130000
DTEND:20240418T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: WHILE und LOOP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_cf739e4a5f58a2b96c377aadd31dcdaa
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_cf739e4a5f58a2b96c377aadd31dcdaa
DTSTART:20240415T111000
DTEND:20240415T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Übung 1 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_54cec9290ebbbad6cf708f32bffdb145
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_54cec9290ebbbad6cf708f32bffdb145
DTSTART:20240414T233000
DTEND:20240414T235900
LOCATION:--
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Berechenbarkeit und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_7fa4bde840a3971c90955ed3ca98f696
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_7fa4bde840a3971c90955ed3ca98f696
DTSTART:20240411T130000
DTEND:20240411T143000
LOCATION:HSZ/0002
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Einleitung und Übersicht (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_befc3cc8537107354e3934b1cf8481c0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)#_befc3cc8537107354e3934b1cf8481c0
DTSTART:20240408T111000
DTEND:20240408T124000
LOCATION:HÜL/S386
DTSTAMP:20250325T090950
SEQUENCE:42049
END:VEVENT
END:VCALENDAR