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:20241014T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Formale Systeme: Prüfungskonsultation (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_2c57cc271a0e38b054def15e4748cf94
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_2c57cc271a0e38b054def15e4748cf94
DTSTART:20250214T092000
DTEND:20250214T105000
LOCATION:Https://tu-dresden.zoom-x.de/j/65660531712?pwd=zsUs3MvvFzDNIDcaLYHp9uVOladRbd.1
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 26. Zusammenfassung und Ausblick (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_62831966c858e6e83edca2556f173336
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_62831966c858e6e83edca2556f173336
DTSTART:20250203T111000
DTEND:20250203T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 25. NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_53865cddb4aa2415ef8837df6295b6c1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_53865cddb4aa2415ef8837df6295b6c1
DTSTART:20250130T130000
DTEND:20250130T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 24. Horn-Logik und Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_2854d1dd96269f5b48c5e5ce261d7ff3
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_2854d1dd96269f5b48c5e5ce261d7ff3
DTSTART:20250127T111000
DTEND:20250127T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 23. Logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_b39f78510c6b497a2bdf80233e212403
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_b39f78510c6b497a2bdf80233e212403
DTSTART:20250123T130000
DTEND:20250123T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 22. Äquivalenzen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_409a0f26fbc334316046db0589fcd7c4
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_409a0f26fbc334316046db0589fcd7c4
DTSTART:20250120T111000
DTEND:20250120T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 21. Aussagenlogik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_c5a1cf59d2f155cea7ebf3158f8f9244
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_c5a1cf59d2f155cea7ebf3158f8f9244
DTSTART:20250116T130000
DTEND:20250116T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 20. Typ 0 und Typ 1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_ac05145086d1d4d8717f5f3a844ad57e
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_ac05145086d1d4d8717f5f3a844ad57e
DTSTART:20250113T111000
DTEND:20250113T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 19. Nichtdeterminismus und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_9fc7aba56818c596db2ad246a35efcda
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_9fc7aba56818c596db2ad246a35efcda
DTSTART:20250109T130000
DTEND:20250109T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 18. Turingmaschinen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_8f94f64385964b86b7a02f4dca540d07
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_8f94f64385964b86b7a02f4dca540d07
DTSTART:20250106T111000
DTEND:20250106T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 17. Deterministische Typ-2-Sprachen / Probleme für kontextfreie Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_52c708f77d89236ace5290983a9304b1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_52c708f77d89236ace5290983a9304b1
DTSTART:20241219T130000
DTEND:20241219T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 16. Kellerautomaten & CFGs (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_4cc4ac5054a8e34173ab10595419cf81
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_4cc4ac5054a8e34173ab10595419cf81
DTSTART:20241216T111000
DTEND:20241216T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 15. Kellerautomaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_bd617decac77e641eb7dc41416660347
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_bd617decac77e641eb7dc41416660347
DTSTART:20241212T130000
DTEND:20241212T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 14. Abschlusseigenschaften kontextfreier Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_fd392bb7280a4e1cfa9d0cb7fdc4a171
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_fd392bb7280a4e1cfa9d0cb7fdc4a171
DTSTART:20241209T111000
DTEND:20241209T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 13. Das Pumping-Lemma für kontextfreie Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_20b8fff0fcb2def64c348c8716cd435b
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_20b8fff0fcb2def64c348c8716cd435b
DTSTART:20241205T130000
DTEND:20241205T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 12. Das Wortproblem für kontextfreie Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_b5ced040cf47e79123630bcd6f39edf2
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_b5ced040cf47e79123630bcd6f39edf2
DTSTART:20241202T111000
DTEND:20241202T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 11. Von regulären zu kontextfreien Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_25d8b21d30deb707e03779de1b555719
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_25d8b21d30deb707e03779de1b555719
DTSTART:20241128T130000
DTEND:20241128T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 10. Grenzen regulärer Sprachen / Probleme regulärer Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_b2bc22986b167790a0730e310f032cab
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_b2bc22986b167790a0730e310f032cab
DTSTART:20241125T111000
DTEND:20241125T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 9. Minimale Automaten (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_bf1f41282511a4b1bccadb874ef17401
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_bf1f41282511a4b1bccadb874ef17401
DTSTART:20241121T130000
DTEND:20241121T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 8. Minimale Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_afb01906e824d99a1719a8c10aea4750
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_afb01906e824d99a1719a8c10aea4750
DTSTART:20241118T111000
DTEND:20241118T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 7. Reguläre Ausdrücke (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_8c02b1a3adab506b331160583188a0da
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_8c02b1a3adab506b331160583188a0da
DTSTART:20241114T130000
DTEND:20241114T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 6. Reguläre Ausdrücke (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_4c9e6fad5f2889d5d2790ba0b982dda0
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_4c9e6fad5f2889d5d2790ba0b982dda0
DTSTART:20241111T111000
DTEND:20241111T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Keine Vorlesung (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_362bd043b17e74306a9199736be825c2
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_362bd043b17e74306a9199736be825c2
DTSTART:20241107T130000
DTEND:20241107T143000
LOCATION:--
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Keine Vorlesung (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_6198de007bce7ec0cdbb6b199f07041e
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_6198de007bce7ec0cdbb6b199f07041e
DTSTART:20241104T111000
DTEND:20241104T124000
LOCATION:--
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Reformationstag (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_a77e6e6439e9fa38f8e653507c20f234
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_a77e6e6439e9fa38f8e653507c20f234
DTSTART:20241031T233000
DTEND:20241031T235900
LOCATION:--
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 5. Abschlusseigenschaften regulärer Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_bf1618c15ca4154b75036dff99d6d905
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_bf1618c15ca4154b75036dff99d6d905
DTSTART:20241028T111000
DTEND:20241028T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 4. Nichtdeterministische Endliche Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_a89ee377067ddc1b57f4eb3fe16d3aa1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_a89ee377067ddc1b57f4eb3fe16d3aa1
DTSTART:20241024T130000
DTEND:20241024T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 3. Endliche Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_6882dd96eb579258706aa9149dfa6362
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_6882dd96eb579258706aa9149dfa6362
DTSTART:20241021T111000
DTEND:20241021T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 2. Grammatiken und die Chomsky-Hierarchie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_d9c580e5cffd66d92fa91900b04483fb
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_d9c580e5cffd66d92fa91900b04483fb
DTSTART:20241017T130000
DTEND:20241017T143000
LOCATION:HSZ/0003
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 1. Formale Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_1bc78ef7164973833ff7375d30119053
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2024)#_1bc78ef7164973833ff7375d30119053
DTSTART:20241014T111000
DTEND:20241014T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20250415T082308
SEQUENCE:42191
END:VEVENT
END:VCALENDAR