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:20211018T111000
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_(WS2021)#_c4ae8562edbce6af608873021d691243
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_c4ae8562edbce6af608873021d691243
DTSTART:20220131T111000
DTEND:20220131T124000
LOCATION:TBA
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Solving (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_e563ccecba915fab7dea2b62b487e8ef
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_e563ccecba915fab7dea2b62b487e8ef
DTSTART:20220124T111000
DTEND:20220124T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Stable Models (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_605c5bd37ae57ae988af350ab22ab49a
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_605c5bd37ae57ae988af350ab22ab49a
DTSTART:20220117T111000
DTEND:20220117T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_da8cf6668976e8b84da176b4372293d8
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_da8cf6668976e8b84da176b4372293d8
DTSTART:20220110T111000
DTEND:20220110T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Termination (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_26d35025fb26624f453b6a6dd4328eb8
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_26d35025fb26624f453b6a6dd4328eb8
DTSTART:20211213T111000
DTEND:20211213T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_ff1e8f424c02ad558b00178277ca1cf3
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_ff1e8f424c02ad558b00178277ca1cf3
DTSTART:20211206T111000
DTEND:20211206T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_a66c5d884d6f02836c3350cec5be8a08
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_a66c5d884d6f02836c3350cec5be8a08
DTSTART:20211129T111000
DTEND:20211129T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_a620d785b0c3c61db8eb29cb66830cf4
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_a620d785b0c3c61db8eb29cb66830cf4
DTSTART:20211122T111000
DTEND:20211122T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_2e9916d879859afb828361c7b682f376
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_2e9916d879859afb828361c7b682f376
DTSTART:20211115T111000
DTEND:20211115T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure Prolog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_c4f0baceeedbfd4edf14a0291e69ed70
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_c4f0baceeedbfd4edf14a0291e69ed70
DTSTART:20211108T111000
DTEND:20211108T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_a4c5b07d786ee8e6158284657e6abb30
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_a4c5b07d786ee8e6158284657e6abb30
DTSTART:20211101T111000
DTEND:20211101T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_6dae62e473ba595c129635b78dd4eb96
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_6dae62e473ba595c129635b78dd4eb96
DTSTART:20211025T111000
DTEND:20211025T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_21f3e9c7292d67b6d5eeaf58c02951de
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)#_21f3e9c7292d67b6d5eeaf58c02951de
DTSTART:20211018T111000
DTEND:20211018T124000
LOCATION:Asynchronous
DTSTAMP:20220124T085933
SEQUENCE:35698
END:VEVENT
END:VCALENDAR