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:20230417T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Default Logic   (Rohit) (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_037d28ac7231758837aaaeb03fcc8327
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_037d28ac7231758837aaaeb03fcc8327
DTSTART:20230703T145000
DTEND:20230703T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Introduction to Reasoning under Uncertainty   (Pratishta) (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_b4fe5a19f788500450899c50377cdd96
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_b4fe5a19f788500450899c50377cdd96
DTSTART:20230619T145000
DTEND:20230619T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Introduction to Nonmonotonic Reasoning   (Paramita) (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_d4d9ff77c57ba07a6e49a7694d0363a9
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_d4d9ff77c57ba07a6e49a7694d0363a9
DTSTART:20230605T145000
DTEND:20230605T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Pentecost (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_5bd6474ec8f67852b7ffa30f1a8032f1
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_5bd6474ec8f67852b7ffa30f1a8032f1
DTSTART:20230529T145000
DTEND:20230529T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Temporal Reasoning   (Lea) (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_0a333d92bf112c26691f571617233c09
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_0a333d92bf112c26691f571617233c09
DTSTART:20230522T145000
DTEND:20230522T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Introduction to Modal Logics - Proof Theory   (Chi Yeung) (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_aa54ecc0226b6d2b2c6e16afbee3d14b
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_aa54ecc0226b6d2b2c6e16afbee3d14b
DTSTART:20230515T145000
DTEND:20230515T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Introduction to Modal Logics - Semantics   (Jonathan) (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_e276439a38b8f67d6a1e59a5073bfc9f
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_e276439a38b8f67d6a1e59a5073bfc9f
DTSTART:20230508T145000
DTEND:20230508T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Labor Day (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_afc67d7c92d968e37aa92e2012f81757
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_afc67d7c92d968e37aa92e2012f81757
DTSTART:20230501T145000
DTEND:20230501T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Logic Recap (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_87432a6ecfd88f9367066a2de144968a
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_87432a6ecfd88f9367066a2de144968a
DTSTART:20230424T145000
DTEND:20230424T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
BEGIN:VEVENT
SUMMARY:Seminar Logic-Based Knowledge Representation: Introduction (Seminar)
URL://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_687644c04aa48e3141a392cd50e7c102
UID://iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2023)#_687644c04aa48e3141a392cd50e7c102
DTSTART:20230417T145000
DTEND:20230417T162000
LOCATION:APB E005
DTSTAMP:20230606T082811
SEQUENCE:38289
END:VEVENT
END:VCALENDAR