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:20171009T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial + Q&A Session (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_170868bb807d0d33751160139fe7d540
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_170868bb807d0d33751160139fe7d540
DTSTART:20180202T145000
DTEND:20180202T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Solving (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_e14f3e5c85a4b3ae4879bca6122f6a15
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_e14f3e5c85a4b3ae4879bca6122f6a15
DTSTART:20180122T145000
DTEND:20180122T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Stable Model Semantics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_b47339e4b918f1603541aa064325ce67
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_b47339e4b918f1603541aa064325ce67
DTSTART:20180119T145000
DTEND:20180119T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_9e75c40b26c68697aeb74f1c31b7fe13
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_9e75c40b26c68697aeb74f1c31b7fe13
DTSTART:20180115T145000
DTEND:20180115T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Introduction to ASP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_60dc8af60acab9f47df10e08952cabc5
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_60dc8af60acab9f47df10e08952cabc5
DTSTART:20180108T145000
DTEND:20180108T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_d20a917598e9702cac26a10ee2909cd3
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_d20a917598e9702cac26a10ee2909cd3
DTSTART:20180105T145000
DTEND:20180105T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_024315aeb688fb9398da0522267899d3
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_024315aeb688fb9398da0522267899d3
DTSTART:20171215T145000
DTEND:20171215T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Termination (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_81221e4adb91105edc26c28a87d17f02
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_81221e4adb91105edc26c28a87d17f02
DTSTART:20171211T145000
DTEND:20171211T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_c3e10363928c657725001e26bd7b236f
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_c3e10363928c657725001e26bd7b236f
DTSTART:20171204T145000
DTEND:20171204T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_5759f9e18c0cb145fa21250ad47fb994
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_5759f9e18c0cb145fa21250ad47fb994
DTSTART:20171201T145000
DTEND:20171201T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_b9dce56813063ea66d2655ef8f8a517f
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_b9dce56813063ea66d2655ef8f8a517f
DTSTART:20171127T145000
DTEND:20171127T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_4297e8961e2d4fa635f0bb0868427edd
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_4297e8961e2d4fa635f0bb0868427edd
DTSTART:20171120T145000
DTEND:20171120T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_e150816ff1b5abc21e99f7152885bb22
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_e150816ff1b5abc21e99f7152885bb22
DTSTART:20171117T130000
DTEND:20171117T143000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_a9bfaf363a67297edc9e5297e11e6218
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_a9bfaf363a67297edc9e5297e11e6218
DTSTART:20171113T145000
DTEND:20171113T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_fd29d9f0f46173cc4a3ac981244a3e06
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_fd29d9f0f46173cc4a3ac981244a3e06
DTSTART:20171110T130000
DTEND:20171110T143000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure Prolog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_94a682d37bc95faaa8097ba451e74537
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_94a682d37bc95faaa8097ba451e74537
DTSTART:20171106T145000
DTEND:20171106T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_6d6258ca35c63d59bdb9c39f860a8043
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_6d6258ca35c63d59bdb9c39f860a8043
DTSTART:20171030T145000
DTEND:20171030T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_ecc9952abb7744391e46183cff5c0fb2
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_ecc9952abb7744391e46183cff5c0fb2
DTSTART:20171020T145000
DTEND:20171020T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_090df24c7d63e8d4b4719ad1176a506d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_090df24c7d63e8d4b4719ad1176a506d
DTSTART:20171016T145000
DTEND:20171016T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_3975122ba3bb29e2f4258877cec76b7a
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2017)#_3975122ba3bb29e2f4258877cec76b7a
DTSTART:20171009T145000
DTEND:20171009T162000
LOCATION:APB E005
DTSTAMP:20180122T125530
SEQUENCE:24977
END:VEVENT
END:VCALENDAR