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:20170405T130000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
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_(SS2017)#_81b63505dd8c4b434d5ea4c0f1536e76
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_81b63505dd8c4b434d5ea4c0f1536e76
DTSTART:20170714T111000
DTEND:20170714T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Besprechung Probeklausur (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_63453b4acf55981e4dd0726722c81e92
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_63453b4acf55981e4dd0726722c81e92
DTSTART:20170712T130000
DTEND:20170712T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Repetitorium 3 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_4d6a11b101564626434d5439cc9bc2a0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_4d6a11b101564626434d5439cc9bc2a0
DTSTART:20170707T111000
DTEND:20170707T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Gödels Unvollständigkeitssätze (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_c00346e102c7f08636fa9e6523091f42
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_c00346e102c7f08636fa9e6523091f42
DTSTART:20170705T130000
DTEND:20170705T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Resolution / Endliche Modelle (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_0eef38cccfcee8a7e31523122b655e88
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_0eef38cccfcee8a7e31523122b655e88
DTSTART:20170630T111000
DTEND:20170630T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_841865a45485c032e32264ff2cac6383
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_841865a45485c032e32264ff2cac6383
DTSTART:20170628T130000
DTEND:20170628T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Unifikation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_a7ed01350450d4865b200962ed72fbed
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_a7ed01350450d4865b200962ed72fbed
DTSTART:20170623T111000
DTEND:20170623T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Funktionen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_db8960e5e205662fa6c185d003b43025
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_db8960e5e205662fa6c185d003b43025
DTSTART:20170621T130000
DTEND:20170621T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_fa8f14d141ceee99eea599909ea42269
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_fa8f14d141ceee99eea599909ea42269
DTSTART:20170616T111000
DTEND:20170616T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_69c95cb2ae791cff62c2d2b9059f930a
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_69c95cb2ae791cff62c2d2b9059f930a
DTSTART:20170614T130000
DTEND:20170614T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Repetitorium 2 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_33526eb653218a87be45d0790160383e
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_33526eb653218a87be45d0790160383e
DTSTART:20170602T111000
DTEND:20170602T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_9d3f62a22fe3c8bdfc2d3b321731c0f8
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_9d3f62a22fe3c8bdfc2d3b321731c0f8
DTSTART:20170531T130000
DTEND:20170531T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_a0f29a2f96005af056e811fd2a8907d5
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_a0f29a2f96005af056e811fd2a8907d5
DTSTART:20170526T111000
DTEND:20170526T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: PSpace-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_6a9db960fd013b4bb3f4bbdc542001c0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_6a9db960fd013b4bb3f4bbdc542001c0
DTSTART:20170524T130000
DTEND:20170524T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: NL und PSpace (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_4757b30854b7c5a4b8096c790b7ebb66
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_4757b30854b7c5a4b8096c790b7ebb66
DTSTART:20170519T111000
DTEND:20170519T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: NP (Teil 2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_0dede51f364d2814cc56a539de1a7b51
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_0dede51f364d2814cc56a539de1a7b51
DTSTART:20170512T111000
DTEND:20170512T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_29e5c60e2095377bdc68902da1934cd1
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_29e5c60e2095377bdc68902da1934cd1
DTSTART:20170510T130000
DTEND:20170510T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Repetitorium 1 (Übung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_e4a74df799eb742908121e00b1d8c8e0
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_e4a74df799eb742908121e00b1d8c8e0
DTSTART:20170505T111000
DTEND:20170505T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Komplexitätsklassen / Effizienz / Reduktionen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_5ff8248bc7b6794662e2ff98463ddc11
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_5ff8248bc7b6794662e2ff98463ddc11
DTSTART:20170503T130000
DTEND:20170503T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_4e9ccc7fe15813df55c6e59b8aa46f9b
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_4e9ccc7fe15813df55c6e59b8aa46f9b
DTSTART:20170428T111000
DTEND:20170428T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_f3259276175e6c9285ec5a1027515d35
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_f3259276175e6c9285ec5a1027515d35
DTSTART:20170426T130000
DTEND:20170426T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_c8a7873b9153241bb4e7a0cdffef1004
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_c8a7873b9153241bb4e7a0cdffef1004
DTSTART:20170421T111000
DTEND:20170421T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
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_(SS2017)#_1294c6d8ab107ff75b5874fd44ded1c9
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_1294c6d8ab107ff75b5874fd44ded1c9
DTSTART:20170419T130000
DTEND:20170419T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: WHILE und LOOP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_7beca6e0a87716b887407a3bf003fafc
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_7beca6e0a87716b887407a3bf003fafc
DTSTART:20170412T130000
DTEND:20170412T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Berechenbarkeit und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_1952237a7f8e8a2ca9ad82b0c38f8a6b
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_1952237a7f8e8a2ca9ad82b0c38f8a6b
DTSTART:20170407T111000
DTEND:20170407T124000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
BEGIN:VEVENT
SUMMARY:Theoretische Informatik und Logik: Einleitung\, Übersicht\, Turingmaschinen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_9a016cf9dc1f83b949e5ec59172e8c49
UID://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)#_9a016cf9dc1f83b949e5ec59172e8c49
DTSTART:20170405T130000
DTEND:20170405T143000
LOCATION:HSZ/0004
DTSTAMP:20201026T165301
SEQUENCE:31693
END:VEVENT
END:VCALENDAR