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:20231009T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Formale Systeme: Lernraum (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_e30d8eba996538e8882e28d3a1638f5a
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_e30d8eba996538e8882e28d3a1638f5a
DTSTART:20240725T111000
DTEND:20240725T124000
LOCATION:APB E005
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Lernraum (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_0dc37ebadca4ec14654b85ff7c13a4b4
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_0dc37ebadca4ec14654b85ff7c13a4b4
DTSTART:20240724T130000
DTEND:20240724T143000
LOCATION:APB E005
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Besprechung der Probeklausur (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_00be42c75820e5da0ff4155f01db2982
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_00be42c75820e5da0ff4155f01db2982
DTSTART:20240201T130000
DTEND:20240201T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Besprechung offener Fragen (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_50c8ac9813b730cd3550ad8c6ae5548b
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_50c8ac9813b730cd3550ad8c6ae5548b
DTSTART:20240129T111000
DTEND:20240129T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 14. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_61b5959fd3c2abef9d77b1c068cfc181
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_61b5959fd3c2abef9d77b1c068cfc181
DTSTART:20240128T233000
DTEND:20240128T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Zusammenfassung und Ausblick (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_9b83874d823228f4915f7d0e54554b2b
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_9b83874d823228f4915f7d0e54554b2b
DTSTART:20240125T130000
DTEND:20240125T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: NP-Vollständigkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_fcd6c611c77b03e72bae16e5a198b2f0
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_fcd6c611c77b03e72bae16e5a198b2f0
DTSTART:20240122T111000
DTEND:20240122T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 13. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_eada6b337dd3bd53643d0b1becfbc7b5
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_eada6b337dd3bd53643d0b1becfbc7b5
DTSTART:20240121T233000
DTEND:20240121T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Horn-Logik und Komplexitätstheorie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_47a7b83652d175311aeaae196766faa7
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_47a7b83652d175311aeaae196766faa7
DTSTART:20240118T130000
DTEND:20240118T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Logisches Schließen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_d5ba857227066bdaf8aca13ff7f42458
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_d5ba857227066bdaf8aca13ff7f42458
DTSTART:20240115T111000
DTEND:20240115T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 12. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_67878cc7351e37eb5e52b20325a3b7e1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_67878cc7351e37eb5e52b20325a3b7e1
DTSTART:20240114T233000
DTEND:20240114T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Äquivalenzen und Normalformen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_6b295b43b6c9d39cdb631bea60fb969a
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_6b295b43b6c9d39cdb631bea60fb969a
DTSTART:20240111T130000
DTEND:20240111T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Aussagenlogik (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_4d589c4f0847b6dffd365c4a40821532
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_4d589c4f0847b6dffd365c4a40821532
DTSTART:20240108T111000
DTEND:20240108T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 11. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_21323d15154ecfd4bf1edc8c9874f18f
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_21323d15154ecfd4bf1edc8c9874f18f
DTSTART:20240107T233000
DTEND:20240107T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Typ 0 und Typ 1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_0eab5320be620a2deafac1866b159ea1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_0eab5320be620a2deafac1866b159ea1
DTSTART:20240104T130000
DTEND:20240104T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Nichtdeterministische Turingmaschinen und Unentscheidbarkeit (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_a5137396f4a32820435318327eff92c2
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_a5137396f4a32820435318327eff92c2
DTSTART:20231218T111000
DTEND:20231218T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 10. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_02a008f7c060a633f79e69caf19218dd
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_02a008f7c060a633f79e69caf19218dd
DTSTART:20231217T233000
DTEND:20231217T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Turingmaschinen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_5fb79e6aff539aa8199361a1e0c0bd3b
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_5fb79e6aff539aa8199361a1e0c0bd3b
DTSTART:20231214T130000
DTEND:20231214T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Repetitorium (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_358da74d20a3fe1dc339191adc880ac0
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_358da74d20a3fe1dc339191adc880ac0
DTSTART:20231211T111000
DTEND:20231211T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 9. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_7fbf95dafb824ad7e3e562011a5379e3
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_7fbf95dafb824ad7e3e562011a5379e3
DTSTART:20231210T233000
DTEND:20231210T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Deterministische Sprachen / Entscheidungsprobleme (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_df9e9bfe74393a8d320cda17f206f7aa
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_df9e9bfe74393a8d320cda17f206f7aa
DTSTART:20231207T130000
DTEND:20231207T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Kellerautomaten und CFGs (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f891519ce1e5d52197e67c8aaecd0d8e
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f891519ce1e5d52197e67c8aaecd0d8e
DTSTART:20231204T111000
DTEND:20231204T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 8. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_2d388a23e8f456ad904a929103dc0dfa
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_2d388a23e8f456ad904a929103dc0dfa
DTSTART:20231203T233000
DTEND:20231203T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Einleitung Kellerautomaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_0a1fc033c5f87a2f8b3b99c4192607da
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_0a1fc033c5f87a2f8b3b99c4192607da
DTSTART:20231130T130000
DTEND:20231130T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Abschlusseigenschaften kontextfreier Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_6e9003425d34eb4d1020207dc75a31f2
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_6e9003425d34eb4d1020207dc75a31f2
DTSTART:20231127T111000
DTEND:20231127T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 7. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f7e930be526d886e70a3df0a06aa30d1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f7e930be526d886e70a3df0a06aa30d1
DTSTART:20231126T233000
DTEND:20231126T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Das Pumping Lemma kontextfreier Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f75be8ec48124eea596989e37f0620b6
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f75be8ec48124eea596989e37f0620b6
DTSTART:20231123T130000
DTEND:20231123T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Das Wortproblem für kontextfreie Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_651cc676a664768497a73f0960b2dfbf
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_651cc676a664768497a73f0960b2dfbf
DTSTART:20231120T111000
DTEND:20231120T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 6. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_7b0da054f2af301fcb49c8c217a3883d
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_7b0da054f2af301fcb49c8c217a3883d
DTSTART:20231119T233000
DTEND:20231119T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Von regulären zu kontextfreien Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_8e90ffee8da509340773cd5f91757867
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_8e90ffee8da509340773cd5f91757867
DTSTART:20231116T130000
DTEND:20231116T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Grenzen regulärer Sprachen / Probleme für Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_99f4254b5937ec2a6a958b6f27be14ba
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_99f4254b5937ec2a6a958b6f27be14ba
DTSTART:20231113T111000
DTEND:20231113T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 5. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_856c8dc96f16df1d869c4215e7779263
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_856c8dc96f16df1d869c4215e7779263
DTSTART:20231112T233000
DTEND:20231112T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Minimale Automaten (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_cc32a48dfb3fd47a92a51bac06c2ceb7
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_cc32a48dfb3fd47a92a51bac06c2ceb7
DTSTART:20231109T130000
DTEND:20231109T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Minimale Automaten (1) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_c7c2d978ac8d03f47806703c96beee54
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_c7c2d978ac8d03f47806703c96beee54
DTSTART:20231106T111000
DTEND:20231106T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 4. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_9728a88970126681757bf6b012be25c6
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_9728a88970126681757bf6b012be25c6
DTSTART:20231105T233000
DTEND:20231105T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Reguläre Ausdrücke (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_3ae74db2d64167e52096878fa5fa8b84
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_3ae74db2d64167e52096878fa5fa8b84
DTSTART:20231102T130000
DTEND:20231102T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Reguläre Ausdrücke (1) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_a86e050975165a4171e60a57e116d012
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_a86e050975165a4171e60a57e116d012
DTSTART:20231030T111000
DTEND:20231030T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 3. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_09a2eb0267a816a551cdbece892895f4
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_09a2eb0267a816a551cdbece892895f4
DTSTART:20231029T233000
DTEND:20231029T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Interne Veranstaltung (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_de27c7fefc926731b8d39cadeed1ecac
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_de27c7fefc926731b8d39cadeed1ecac
DTSTART:20231026T130000
DTEND:20231026T143000
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Abschlusseigenschaften regulärer Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_9ac2ee68b2cf3f6483eb49879f3641f8
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_9ac2ee68b2cf3f6483eb49879f3641f8
DTSTART:20231023T111000
DTEND:20231023T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 2. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_6a8e3ceea45fc04ab869f0209c7173c1
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_6a8e3ceea45fc04ab869f0209c7173c1
DTSTART:20231022T233000
DTEND:20231022T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Nichtdeterministische Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_63a1badb4095391d1e0bc322548f7787
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_63a1badb4095391d1e0bc322548f7787
DTSTART:20231019T130000
DTEND:20231019T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Endliche Automaten (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_ce577a9f682ee1b493250c3c01a49ffe
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_ce577a9f682ee1b493250c3c01a49ffe
DTSTART:20231016T111000
DTEND:20231016T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: 1. Übungsblatt (Übung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f29cb45fb56251909fe3e52985ce50af
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_f29cb45fb56251909fe3e52985ce50af
DTSTART:20231015T233000
DTEND:20231015T235900
LOCATION:--
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Grammatiken und die Chomsky-Hierarchie (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_1d0af751f13e840106e23b4e30479f68
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_1d0af751f13e840106e23b4e30479f68
DTSTART:20231012T130000
DTEND:20231012T143000
LOCATION:HSZ/0003
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
BEGIN:VEVENT
SUMMARY:Formale Systeme: Einleitung formale Sprachen (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_1b505de1a04d09138cfb089df7fd25c2
UID://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)#_1b505de1a04d09138cfb089df7fd25c2
DTSTART:20231009T111000
DTEND:20231009T124000
LOCATION:BAR/SCHÖ
DTSTAMP:20240708T121758
SEQUENCE:39931
END:VEVENT
END:VCALENDAR