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:20251013T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Characterisation and Computation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_3311330c82fbaed82e850cae1509cee7
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_3311330c82fbaed82e850cae1509cee7
DTSTART:20260112T111000
DTEND:20260112T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Language Extensions and Modelling (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_5fad4ad544faecabe37ee5591d11066b
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_5fad4ad544faecabe37ee5591d11066b
DTSTART:20260105T111000
DTEND:20260105T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Syntax and Semantics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_571913ce08c0f6cefbfd3e9ec0cd734f
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_571913ce08c0f6cefbfd3e9ec0cd734f
DTSTART:20251215T111000
DTEND:20251215T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Model Theory (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_3895df22ad678fca3dd0b7a8ec96a407
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_3895df22ad678fca3dd0b7a8ec96a407
DTSTART:20251208T111000
DTEND:20251208T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Soundness and “Completeness” of SLDNF Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_84b79a70c6a25dbb15b59f5bf0183089
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_84b79a70c6a25dbb15b59f5bf0183089
DTSTART:20251201T111000
DTEND:20251201T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Proof Theory (SLDNF Resolution) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_5497debae796edceb29e167adeb605eb
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_5497debae796edceb29e167adeb605eb
DTSTART:20251124T111000
DTEND:20251124T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure Prolog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_b781b0c575f7a4e40dc313aa03daa257
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_b781b0c575f7a4e40dc313aa03daa257
DTSTART:20251117T111000
DTEND:20251117T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Least Herbrand Models (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_09da666f80a5da8d30749d0dc9127eb3
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_09da666f80a5da8d30749d0dc9127eb3
DTSTART:20251110T111000
DTEND:20251110T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Correctness of SLD Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_7f0ea94729a5ade015a0d87385b88e2d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_7f0ea94729a5ade015a0d87385b88e2d
DTSTART:20251103T111000
DTEND:20251103T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: SLD Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_1c9ff1d8c8575d7a7c203237ecc1cf57
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_1c9ff1d8c8575d7a7c203237ecc1cf57
DTSTART:20251027T111000
DTEND:20251027T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_2bb3c19920f3efe908abb2d77c25840e
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_2bb3c19920f3efe908abb2d77c25840e
DTSTART:20251020T111000
DTEND:20251020T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_5f0b6d70783a396d7e005c27ec5e85a4
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2025)#_5f0b6d70783a396d7e005c27ec5e85a4
DTSTART:20251013T111000
DTEND:20251013T124000
LOCATION:APB E005
DTSTAMP:20260106T141208
SEQUENCE:43832
END:VEVENT
END:VCALENDAR