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:20221012T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): The last exercise session about ??? (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_6c85d7caea8e4688de6dd9ffeee0ddd6
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_6c85d7caea8e4688de6dd9ffeee0ddd6
DTSTART:20230202T130000
DTEND:20230202T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Recap lecture + Q&A (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_7e3bf1a411e310854c765ad20045c49d
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_7e3bf1a411e310854c765ad20045c49d
DTSTART:20230201T145000
DTEND:20230201T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about FO2 (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_f6e7d697095c77b8e65902fed789e4ad
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_f6e7d697095c77b8e65902fed789e4ad
DTSTART:20230126T130000
DTEND:20230126T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Lecture about the lower bound for the guarded fragment (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_21b5762221ec7ebe9aca1409397b07e8
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_21b5762221ec7ebe9aca1409397b07e8
DTSTART:20230125T145000
DTEND:20230125T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): No exercise session (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_b83a72f1b68d90bafa7909bb96b84cf7
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_b83a72f1b68d90bafa7909bb96b84cf7
DTSTART:20230119T130000
DTEND:20230119T143000
LOCATION:Https://tu-dresden.zoom.us/j/84922594756?pwd=RnNrYUNKRkRFTGZZN2NCSjVyMmRqUT09#success
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Lecture about the two-variable guarded fragment (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_0c3ff1325be01a4b325b3680f583ec58
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_0c3ff1325be01a4b325b3680f583ec58
DTSTART:20230118T145000
DTEND:20230118T162000
LOCATION:Https://tu-dresden.zoom.us/j/84922594756?pwd=RnNrYUNKRkRFTGZZN2NCSjVyMmRqUT09#success
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about the one-variable fragment of FO and the monadic fragment (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_128bdab3230a29260db55295586e7e47
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_128bdab3230a29260db55295586e7e47
DTSTART:20230112T130000
DTEND:20230112T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Finite model property for the two-variable logic (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_01c31b73d8c5da0b56730cf263648612
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_01c31b73d8c5da0b56730cf263648612
DTSTART:20230111T145000
DTEND:20230111T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about satisfiability (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_b5101b437f244b790eeff0d8104de4be
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_b5101b437f244b790eeff0d8104de4be
DTSTART:20230105T130000
DTEND:20230105T143000
LOCATION:Https://tu-dresden.zoom.us/j/84922594756?pwd=RnNrYUNKRkRFTGZZN2NCSjVyMmRqUT09#success
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): One variable fragment with counting quantifiers (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_4bc3a0c28b936848dbc159caaa2c0122
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_4bc3a0c28b936848dbc159caaa2c0122
DTSTART:20230104T145000
DTEND:20230104T162000
LOCATION:Https://tu-dresden.zoom.us/j/84922594756?pwd=RnNrYUNKRkRFTGZZN2NCSjVyMmRqUT09#success
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about the one-variable fragment of FO and the monadic fragment (Canceled due to sickness) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_5bd7250c7884109394354f1420dbcd33
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_5bd7250c7884109394354f1420dbcd33
DTSTART:20221215T130000
DTEND:20221215T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): (Canceled due to sickness) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_802c00da5d1475ff1caa2c79b97ae1d6
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_802c00da5d1475ff1caa2c79b97ae1d6
DTSTART:20221214T145000
DTEND:20221214T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about satisfiability  (Canceled due to sickness) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_e3186cee2fd3e5ca0ddeeb49603bd90c
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_e3186cee2fd3e5ca0ddeeb49603bd90c
DTSTART:20221208T130000
DTEND:20221208T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): One variable fragment with counting quantifiers (Canceled due to sickness) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_2445becff20a5d4d9e478eeaa82f3a04
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_2445becff20a5d4d9e478eeaa82f3a04
DTSTART:20221207T145000
DTEND:20221207T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about ??? (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_a0da2520ca9b8e3532624e84df25f37d
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_a0da2520ca9b8e3532624e84df25f37d
DTSTART:20221201T130000
DTEND:20221201T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): One variable fragment of FO + NExpTime lower bound for FO2 without equality (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_6cffb62afed8d3235bea35a78ee2b709
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_6cffb62afed8d3235bea35a78ee2b709
DTSTART:20221130T073000
DTEND:20221130T090000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about E-F Games\, Pebble Games (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_72a6e0e5497b0c2e5063875898a20ec7
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_72a6e0e5497b0c2e5063875898a20ec7
DTSTART:20221124T130000
DTEND:20221124T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): SAT of FO is undecidable. The quest of finding decidable fragments (survey on recent research trends) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_6acde0e6554bcc55a6f54d7504c6dc73
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_6acde0e6554bcc55a6f54d7504c6dc73
DTSTART:20221123T073000
DTEND:20221123T090000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Day of Prayer and Repentance (NO EXERCISE SESSION) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_da0fd0495cd914ee4794f4fbb356c689
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_da0fd0495cd914ee4794f4fbb356c689
DTSTART:20221117T130000
DTEND:20221117T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Day of Prayer and Repentance (NO LECTURE) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_8a5fbea9e54050115b428dde47dc7d3d
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_8a5fbea9e54050115b428dde47dc7d3d
DTSTART:20221116T145000
DTEND:20221116T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about E-F Games (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_decebff64e37d889961d9f302934d0ca
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_decebff64e37d889961d9f302934d0ca
DTSTART:20221110T130000
DTEND:20221110T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): E-F Games (proofs)\, Hintikka sets + Locality I: Hanf locality and proof that FO is Hanf-local (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_733a1361552fed4ff816567609d8e8c8
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_733a1361552fed4ff816567609d8e8c8
DTSTART:20221109T145000
DTEND:20221109T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session about alternative definitions of the random graph and Łoś-Tarski theorem. (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_975021da679356cabc4c259d9876be94
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_975021da679356cabc4c259d9876be94
DTSTART:20221103T130000
DTEND:20221103T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Ehrenfeucht–Fraïssé games (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_ae750e7190d89c00bbed9440e0185a5c
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_ae750e7190d89c00bbed9440e0185a5c
DTSTART:20221102T145000
DTEND:20221102T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session 2: Zero-One Law (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_4cad8a30395f88371faf24a17e1c3ae0
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_4cad8a30395f88371faf24a17e1c3ae0
DTSTART:20221027T130000
DTEND:20221027T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Applying compactness: Preservation theorems. (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_a81617b03b63c8c3c5ea343f5e7c77f5
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_a81617b03b63c8c3c5ea343f5e7c77f5
DTSTART:20221026T145000
DTEND:20221026T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Exercise session 1: Compactness (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_fefa6c215af58771d53a3a5be50eb18f
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_fefa6c215af58771d53a3a5be50eb18f
DTSTART:20221020T130000
DTEND:20221020T143000
LOCATION:APB/2026
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Zero-One Laws of FO (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_ef28915903369855b7dccf649d22afc4
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_ef28915903369855b7dccf649d22afc4
DTSTART:20221019T145000
DTEND:20221019T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory (22/23): Introduction & Compactness method (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_0b46b7759383d80ec4f8174c11d2cd34
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(22/23)_(WS2022)#_0b46b7759383d80ec4f8174c11d2cd34
DTSTART:20221012T145000
DTEND:20221012T162000
LOCATION:APB/E007
DTSTAMP:20230123T125905
SEQUENCE:37797
END:VEVENT
END:VCALENDAR