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:20200406T145000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Solving (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_575aab51d0f36d083f166c8fd9699c7e
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_575aab51d0f36d083f166c8fd9699c7e
DTSTART:20200713T145000
DTEND:20200713T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Answer Set Programming – Solving (2/2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_b8a08849f82221223c43d7d808cdc8ac
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_b8a08849f82221223c43d7d808cdc8ac
DTSTART:20200706T145000
DTEND:20200706T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Answer Set Programming – Solving (1/2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_2d375a9a6cff2d5a8efc99b999163e0a
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_2d375a9a6cff2d5a8efc99b999163e0a
DTSTART:20200629T145000
DTEND:20200629T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP: Hands-on Tools (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_9d0ed549bd0f1e2be98b3b43284c2c92
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_9d0ed549bd0f1e2be98b3b43284c2c92
DTSTART:20200622T145000
DTEND:20200622T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Answer Set Programming – Basics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_f9e77602e7f478fc4bb7c6b55852e525
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_f9e77602e7f478fc4bb7c6b55852e525
DTSTART:20200615T145000
DTEND:20200615T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: Tableaux II Ctd. (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_665361af8d75541ca56b43ea0c21541a
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_665361af8d75541ca56b43ea0c21541a
DTSTART:20200608T145000
DTEND:20200608T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: Tableaux II (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_acfb9cab36c233e44228422a0076b942
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_acfb9cab36c233e44228422a0076b942
DTSTART:20200525T145000
DTEND:20200525T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableaux Optimizations (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_ce38daa121508d0b0ff7425c21860b6c
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_ce38daa121508d0b0ff7425c21860b6c
DTSTART:20200518T145000
DTEND:20200518T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: Tablaux (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_692ec79898fed949e88fa48da733cc6a
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_692ec79898fed949e88fa48da733cc6a
DTSTART:20200511T145000
DTEND:20200511T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableaux 2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_fc13e21593c7c5825c8de2ecf743c6bc
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_fc13e21593c7c5825c8de2ecf743c6bc
DTSTART:20200504T145000
DTEND:20200504T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableaux 1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_4b79220cf40c4416860b42208d5412d6
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_4b79220cf40c4416860b42208d5412d6
DTSTART:20200427T145000
DTEND:20200427T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: Description Logics (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_27f45e592861e9cb67acd0996550d090
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_27f45e592861e9cb67acd0996550d090
DTSTART:20200420T145000
DTEND:20200420T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Introduction to Description Logics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_79c04ae79e5da1acd19955ed39f08d7d
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2020)#_79c04ae79e5da1acd19955ed39f08d7d
DTSTART:20200406T145000
DTEND:20200406T162000
LOCATION:APB E005
DTSTAMP:20210203T201447
SEQUENCE:32632
END:VEVENT
END:VCALENDAR