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:20221010T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Q&A (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_291c9fede278432e3864fdd58d6b2b14
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_291c9fede278432e3864fdd58d6b2b14
DTSTART:20230130T111000
DTEND:20230130T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Computation and Characterisation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_91a93d6105a70671c206604603c2b3a3
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_91a93d6105a70671c206604603c2b3a3
DTSTART:20230123T111000
DTEND:20230123T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
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_(WS2022)#_5f5d3edb34741b6101518a0ad922868d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_5f5d3edb34741b6101518a0ad922868d
DTSTART:20230116T111000
DTEND:20230116T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
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_(WS2022)#_439f7e9608f0923595b8d5abf279a886
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_439f7e9608f0923595b8d5abf279a886
DTSTART:20230109T111000
DTEND:20230109T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Happy holidays! (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_c9a4a83a278e8a0b7e70955219911e57
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_c9a4a83a278e8a0b7e70955219911e57
DTSTART:20221219T111000
DTEND:20221219T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Model Theory (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_6819e717c9b961bcb064ebff97ec0701
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_6819e717c9b961bcb064ebff97ec0701
DTSTART:20221212T111000
DTEND:20221212T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Soundness and Restricted Completeness of SLDNF Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_3f89cba621be1b73e892ab67e2bd2374
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_3f89cba621be1b73e892ab67e2bd2374
DTSTART:20221205T111000
DTEND:20221205T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
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_(WS2022)#_abe02fd79342ef9ee8534c4f5fdfe5e6
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_abe02fd79342ef9ee8534c4f5fdfe5e6
DTSTART:20221128T111000
DTEND:20221128T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure Prolog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_e82825c41a92b99bbd565f9c3399bca0
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_e82825c41a92b99bbd565f9c3399bca0
DTSTART:20221121T111000
DTEND:20221121T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Least Herbrand Models (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_229689584d1ff32656df4ca4a601cbf5
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_229689584d1ff32656df4ca4a601cbf5
DTSTART:20221114T111000
DTEND:20221114T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
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_(WS2022)#_90a90fea79ad3db768a45fa7e01795e1
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_90a90fea79ad3db768a45fa7e01795e1
DTSTART:20221107T111000
DTEND:20221107T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Public holiday (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_8b22fff815de381b14fa85090d901f9a
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_8b22fff815de381b14fa85090d901f9a
DTSTART:20221031T111000
DTEND:20221031T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: SLD Resolution (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_c44973551e3469cdd39d1e45d300dcb2
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_c44973551e3469cdd39d1e45d300dcb2
DTSTART:20221024T111000
DTEND:20221024T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_542b6c72ca4e9b3511c63da92fe6ca4d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_542b6c72ca4e9b3511c63da92fe6ca4d
DTSTART:20221017T111000
DTEND:20221017T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_a2467e3a78002799d0e87b1ee65f0c07
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2022)#_a2467e3a78002799d0e87b1ee65f0c07
DTSTART:20221010T111000
DTEND:20221010T124000
LOCATION:APB E001
DTSTAMP:20230130T072735
SEQUENCE:37812
END:VEVENT
END:VCALENDAR