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:20210413T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Guarded Fragment: Part 2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_1e61a729295f069bb379f60fba1c84e9
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_1e61a729295f069bb379f60fba1c84e9
DTSTART:20210713T145000
DTEND:20210713T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on FO2 and related logics: Part II (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_e0905107a63af03b2ea1a8238a20fbbd
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_e0905107a63af03b2ea1a8238a20fbbd
DTSTART:20210707T111000
DTEND:20210707T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on FO2 and related logics (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_b87f37f0072abed8ae70cf224c4a3fc4
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_b87f37f0072abed8ae70cf224c4a3fc4
DTSTART:20210630T111000
DTEND:20210630T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Guarded Fragment: Part 1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_97d8e87184bfa43af2871a4d9b43706a
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_97d8e87184bfa43af2871a4d9b43706a
DTSTART:20210629T145000
DTEND:20210629T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on C1 and related logics (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_9f4de0a9683815a60e49da6fd8d79850
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_9f4de0a9683815a60e49da6fd8d79850
DTSTART:20210623T111000
DTEND:20210623T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Finite model property for FO2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_cf04b20b304c6b7b2102edc2ff2e4945
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_cf04b20b304c6b7b2102edc2ff2e4945
DTSTART:20210622T145000
DTEND:20210622T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: The last lecture [recap] (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_5fb783610e9a7de4568cd73fd19ddfc0
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_5fb783610e9a7de4568cd73fd19ddfc0
DTSTART:20210620T145000
DTEND:20210620T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on decidability/undecidability (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_c331d46866790e0465221f3eda21976f
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_c331d46866790e0465221f3eda21976f
DTSTART:20210616T111000
DTEND:20210616T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Decidable fragment of first-order logic\, C1 and introduction to FO2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_c62030c7a1670cb2fcf0eaff2a67a993
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_c62030c7a1670cb2fcf0eaff2a67a993
DTSTART:20210615T145000
DTEND:20210615T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Model checking on graphs with bounded degree and  NP-completeness of FO1 and C1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_2cd48b172b4e960fb7ea8d6df154a933
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_2cd48b172b4e960fb7ea8d6df154a933
DTSTART:20210608T145000
DTEND:20210608T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on pebble games\, Hanf locality and MSO (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_3caeb52181ffac1fcbcd97f6901f459c
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_3caeb52181ffac1fcbcd97f6901f459c
DTSTART:20210602T111000
DTEND:20210602T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Tilings and undecidability of FO (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_170b45fe19e492d19b848f4a7ed9178c
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_170b45fe19e492d19b848f4a7ed9178c
DTSTART:20210601T145000
DTEND:20210601T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: No exercises (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_e86c4690d8a4e48ff025fd8576e9efed
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_e86c4690d8a4e48ff025fd8576e9efed
DTSTART:20210526T111000
DTEND:20210526T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: No lecture (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_f012649eacffacbb3538bcc936e824a4
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_f012649eacffacbb3538bcc936e824a4
DTSTART:20210525T145000
DTEND:20210525T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on E-F games and locality (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_2a43579b502a5d0dd162be3a3a79a7e8
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_2a43579b502a5d0dd162be3a3a79a7e8
DTSTART:20210519T111000
DTEND:20210519T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Locality (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_fdcac015e8a8cc800444ae991cf807cf
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_fdcac015e8a8cc800444ae991cf807cf
DTSTART:20210518T145000
DTEND:20210518T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on EF games (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_6d4223e968fa79eddbe8a90b6d87ba33
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_6d4223e968fa79eddbe8a90b6d87ba33
DTSTART:20210512T111000
DTEND:20210512T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Proving E-F Games (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_0e0cf29f6be0da1237215bb18688d99e
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_0e0cf29f6be0da1237215bb18688d99e
DTSTART:20210511T145000
DTEND:20210511T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: NO EXERCISES (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_5e624931612751dd1e39f1400bf64e63
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_5e624931612751dd1e39f1400bf64e63
DTSTART:20210505T111000
DTEND:20210505T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: E-F Games (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_2d459435128c58550e798d8401d1fb9b
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_2d459435128c58550e798d8401d1fb9b
DTSTART:20210504T145000
DTEND:20210504T162000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on Zero-One Laws (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_367d1395fcfd691d55dd655ca0adf659
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_367d1395fcfd691d55dd655ca0adf659
DTSTART:20210428T111000
DTEND:20210428T124000
LOCATION:APB E005
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: The missing proofs on 0-1 law + Intro to EF Games (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_65f5caf50f759f0760e164a6a6d3ba21
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_65f5caf50f759f0760e164a6a6d3ba21
DTSTART:20210427T145000
DTEND:20210427T162000
LOCATION:Https://tu-dresden.zoom.us/j/84922594756?pwd=RnNrYUNKRkRFTGZZN2NCSjVyMmRqUT09
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Exercises on Compactness (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_5df650a1a125b347a3afe37a9ca8c50d
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_5df650a1a125b347a3afe37a9ca8c50d
DTSTART:20210421T111000
DTEND:20210421T124000
LOCATION:Https://selfservice.zih.tu-dresden.de/l/link.php?m=110253&p=300d88b2
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Zero-One Laws of FO (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_70a13f9972b9b5438623382fc5383b09
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_70a13f9972b9b5438623382fc5383b09
DTSTART:20210420T145000
DTEND:20210420T162000
LOCATION:Https://selfservice.zih.tu-dresden.de/l/link.php?m=109418&p=985722fa
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Q&A (Übung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_30e12778b03a96fa66d6834c46856b37
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_30e12778b03a96fa66d6834c46856b37
DTSTART:20210414T111000
DTEND:20210414T124000
LOCATION:Https://zoom.us/j/93512412938?pwd=bW0rclprRUdjT3pEM0VxMzNtM084QT09
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
BEGIN:VEVENT
SUMMARY:Finite and algorithmic model theory: Introduction & Compactness method (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_550154e5f2e2a9f75723974446677658
UID://iccl.inf.tu-dresden.de/web/Finite_and_algorithmic_model_theory_(SS2021)#_550154e5f2e2a9f75723974446677658
DTSTART:20210413T145000
DTEND:20210413T162000
LOCATION:Https://tu-dresden.zoom.us/j/84922594756?pwd=RnNrYUNKRkRFTGZZN2NCSjVyMmRqUT09
DTSTAMP:20210812T153003
SEQUENCE:34533
END:VEVENT
END:VCALENDAR