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:STANDARD
DTSTART:20201026T164000
TZOFFSETFROM:+0100
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Q&A (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_eb0d3aca617e2c9bdca1e74b8c68ecbc
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_eb0d3aca617e2c9bdca1e74b8c68ecbc
DTSTART:20210201T164000
DTEND:20210201T181000
LOCATION:Https://tu-dresden.zoom.us/j/83807887109?pwd=Qjl1ZFhDa1ZMQ3RhM2lHS09MYnNVdz09
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Solving (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_bef324dc7ae7e8e1b4dbafdcb516d857
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_bef324dc7ae7e8e1b4dbafdcb516d857
DTSTART:20210125T164000
DTEND:20210125T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Stable Models (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_7e45e625c32684507c6cf9c7fa45ee64
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_7e45e625c32684507c6cf9c7fa45ee64
DTSTART:20210118T164000
DTEND:20210118T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: ASP: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_d99f90bbffb70ed7889dcc314031aa9e
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_d99f90bbffb70ed7889dcc314031aa9e
DTSTART:20210111T164000
DTEND:20210111T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Termination (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_f7d5bcb7bdb9d12955ca3850d72ec50d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_f7d5bcb7bdb9d12955ca3850d72ec50d
DTSTART:20210104T164000
DTEND:20210104T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_a5776ebc8527772d688765c6f2e63fad
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_a5776ebc8527772d688765c6f2e63fad
DTSTART:20201214T164000
DTEND:20201214T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_941e2d8110ac70503cb8055701d566c6
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_941e2d8110ac70503cb8055701d566c6
DTSTART:20201207T164000
DTEND:20201207T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_80e47828dd239ec8c70c817997c1d7e0
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_80e47828dd239ec8c70c817997c1d7e0
DTSTART:20201130T164000
DTEND:20201130T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_23e2e98d28dd6e73819793907d345ab8
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_23e2e98d28dd6e73819793907d345ab8
DTSTART:20201123T164000
DTEND:20201123T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure Prolog (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_dc7488733ba0b2fec889fba377a74a68
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_dc7488733ba0b2fec889fba377a74a68
DTSTART:20201116T164000
DTEND:20201116T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_fd3af9d307ac0eb8b1fb203d60788480
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_fd3af9d307ac0eb8b1fb203d60788480
DTSTART:20201109T164000
DTEND:20201109T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_63e0ba35849ba9705db8a052f9b64c72
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_63e0ba35849ba9705db8a052f9b64c72
DTSTART:20201102T164000
DTEND:20201102T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_62ede4753f333d0b5012b70617b49d5f
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2020)#_62ede4753f333d0b5012b70617b49d5f
DTSTART:20201026T164000
DTEND:20201026T181000
LOCATION:Asynchronous
DTSTAMP:20210201T235326
SEQUENCE:32621
END:VEVENT
END:VCALENDAR