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:20191014T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Q&A (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_89b7b19b8bca6d0a83de95eb0e1bbdda
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_89b7b19b8bca6d0a83de95eb0e1bbdda
DTSTART:20200203T145000
DTEND:20200203T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_6bbfb948ff18be2d94e8b794abdabaa6
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_6bbfb948ff18be2d94e8b794abdabaa6
DTSTART:20200131T145000
DTEND:20200131T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Q&A (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_e51acf65884648587a197ea96716b0a9
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_e51acf65884648587a197ea96716b0a9
DTSTART:20200127T145000
DTEND:20200127T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Solving (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_d8adfac9fa4085ee7c9f30643cbb9a3d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_d8adfac9fa4085ee7c9f30643cbb9a3d
DTSTART:20200120T145000
DTEND:20200120T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_60a645724581dcfc9ea9ad10bfe13cce
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_60a645724581dcfc9ea9ad10bfe13cce
DTSTART:20200117T145000
DTEND:20200117T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Stable Models (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_4aad2f9e8cd99ad427ffe436b016d277
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_4aad2f9e8cd99ad427ffe436b016d277
DTSTART:20200113T145000
DTEND:20200113T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_196d25a02e278f9cb7e7df92b6144e5d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_196d25a02e278f9cb7e7df92b6144e5d
DTSTART:20200106T145000
DTEND:20200106T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_1bc55fd9c591749e9d5eca1c86eba17d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_1bc55fd9c591749e9d5eca1c86eba17d
DTSTART:20191220T145000
DTEND:20191220T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Termination (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_98431e4f26af2cb243babb3d16d6b7df
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_98431e4f26af2cb243babb3d16d6b7df
DTSTART:20191216T145000
DTEND:20191216T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_b2f9e72bd87527ca120161445094d60b
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_b2f9e72bd87527ca120161445094d60b
DTSTART:20191209T145000
DTEND:20191209T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_e2c516f21e58dc0bf4c2da0514c5616c
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_e2c516f21e58dc0bf4c2da0514c5616c
DTSTART:20191206T145000
DTEND:20191206T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_e863235f7bde8cf744b118b284873131
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_e863235f7bde8cf744b118b284873131
DTSTART:20191202T145000
DTEND:20191202T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_97d76c962884c7aa8b55ca89d33f3a02
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_97d76c962884c7aa8b55ca89d33f3a02
DTSTART:20191125T145000
DTEND:20191125T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_fe7c57a514a6a5326a16449c05b1fc20
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_fe7c57a514a6a5326a16449c05b1fc20
DTSTART:20191118T145000
DTEND:20191118T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_ef648f82244362a5aa7f42cdd19c3882
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_ef648f82244362a5aa7f42cdd19c3882
DTSTART:20191111T145000
DTEND:20191111T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_99b26974c3751edecdd57cd538c00f0c
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_99b26974c3751edecdd57cd538c00f0c
DTSTART:20191108T145000
DTEND:20191108T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure Prolog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_0955fef527a6e38ce0d308883d442bf0
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_0955fef527a6e38ce0d308883d442bf0
DTSTART:20191104T145000
DTEND:20191104T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_406df011b7a8b755b951202a8157080b
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_406df011b7a8b755b951202a8157080b
DTSTART:20191028T145000
DTEND:20191028T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_5404e6a34d7622e5449426f352ccbfea
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_5404e6a34d7622e5449426f352ccbfea
DTSTART:20191025T145000
DTEND:20191025T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_00ae4a9469cc4bbb81feae4418e66c58
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_00ae4a9469cc4bbb81feae4418e66c58
DTSTART:20191021T145000
DTEND:20191021T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_5d133bc7f352fb56bdd44a45c2d4c1d0
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2019)#_5d133bc7f352fb56bdd44a45c2d4c1d0
DTSTART:20191014T145000
DTEND:20191014T162000
LOCATION:APB E005
DTSTAMP:20200131T084432
SEQUENCE:30095
END:VEVENT
END:VCALENDAR