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:20160406T164000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Deduction Systems: Question and Answer Session (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_762262e15d77be1fa36f48701ad410c9
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_762262e15d77be1fa36f48701ad410c9
DTSTART:20160706T164000
DTEND:20160706T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: ASP Solving (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_210b28d7a5c4abeea806fe363668365e
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_210b28d7a5c4abeea806fe363668365e
DTSTART:20160629T164000
DTEND:20160629T181000
LOCATION:APB 2026
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Solving II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_38d24d8468f7a9c88041bbe66b99c036
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_38d24d8468f7a9c88041bbe66b99c036
DTSTART:20160622T164000
DTEND:20160622T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Solving I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_321e519e1041dd47ec9a0f35ef03793f
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_321e519e1041dd47ec9a0f35ef03793f
DTSTART:20160615T164000
DTEND:20160615T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: OWL Modeling and Reasoning using Protege and HermiT (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_6d1792f6bd5d257355e56015622d73b4
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_6d1792f6bd5d257355e56015622d73b4
DTSTART:20160608T164000
DTEND:20160608T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: Optimizations (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_8f5ce2f65b28deba42aad5309fce558c
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_8f5ce2f65b28deba42aad5309fce558c
DTSTART:20160525T164000
DTEND:20160525T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Optimizations for Tableau (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_3732b79a2ac3f7a7ae75308a4e02b889
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_3732b79a2ac3f7a7ae75308a4e02b889
DTSTART:20160511T164000
DTEND:20160511T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tutorial: Tableau (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_e10e405d9d54d5d83e8d5034e590a531
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_e10e405d9d54d5d83e8d5034e590a531
DTSTART:20160504T164000
DTEND:20160504T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableau Algorithm II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_a6a8e7905a8be7fcfefb0ecefdb64104
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_a6a8e7905a8be7fcfefb0ecefdb64104
DTSTART:20160420T164000
DTEND:20160420T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableau Algorithm I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_4f5eaadee972c9fcfac17a2c63100ad3
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_4f5eaadee972c9fcfac17a2c63100ad3
DTSTART:20160413T164000
DTEND:20160413T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Recap Description Logics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_668414036e3dc0a2064da3c39b547df3
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2016)#_668414036e3dc0a2064da3c39b547df3
DTSTART:20160406T164000
DTEND:20160406T181000
LOCATION:APB E005
DTSTAMP:20201027T112500
SEQUENCE:31715
END:VEVENT
END:VCALENDAR