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:20170405T164000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Deduction Systems: Q&A (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_61b2209d43ca52a5206f8d8b6893b2ef
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_61b2209d43ca52a5206f8d8b6893b2ef
DTSTART:20170705T164000
DTEND:20170705T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Tools (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_435dc3ef15a634472b4c8fe03d788717
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_435dc3ef15a634472b4c8fe03d788717
DTSTART:20170628T164000
DTEND:20170628T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Solving (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_6d6b084163f26c83ff6f632133c8eb4a
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_6d6b084163f26c83ff6f632133c8eb4a
DTSTART:20170621T164000
DTEND:20170621T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Solving II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_9b94352dd22879204e2541ee2897e655
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_9b94352dd22879204e2541ee2897e655
DTSTART:20170614T164000
DTEND:20170614T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: ASP Solving I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_ff807448223f3ab3479895dcc3e1f0d9
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_ff807448223f3ab3479895dcc3e1f0d9
DTSTART:20170531T164000
DTEND:20170531T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
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_(SS2017)#_42b4f69252926a80f0eb409f4c0d8f46
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_42b4f69252926a80f0eb409f4c0d8f46
DTSTART:20170524T164000
DTEND:20170524T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Optimizations for Tableau (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_37eb67e0fc2bff511290b929355a56d4
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_37eb67e0fc2bff511290b929355a56d4
DTSTART:20170510T164000
DTEND:20170510T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableau (Übung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_5ab254f44cc949db0ae093ea5335833e
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_5ab254f44cc949db0ae093ea5335833e
DTSTART:20170503T164000
DTEND:20170503T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableau II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_aacb92c3d24cda6dccf99bcd0e895f82
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_aacb92c3d24cda6dccf99bcd0e895f82
DTSTART:20170426T164000
DTEND:20170426T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Tableau I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_b3cde28776628c3e4af560d48d17a9a6
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_b3cde28776628c3e4af560d48d17a9a6
DTSTART:20170412T164000
DTEND:20170412T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deduction Systems: Recap Description Logics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_0ba938e12773de62970fbf78dffd0bf6
UID://iccl.inf.tu-dresden.de/web/Deduction_Systems_(SS2017)#_0ba938e12773de62970fbf78dffd0bf6
DTSTART:20170405T164000
DTEND:20170405T181000
LOCATION:APB E005
DTSTAMP:20201027T112510
SEQUENCE:31716
END:VEVENT
END:VCALENDAR