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:20141015T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Q&A Session (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_26f8556089d56d239c9a54a7adf3e195
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_26f8556089d56d239c9a54a7adf3e195
DTSTART:20150204T111000
DTEND:20150204T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 6 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_28f3fa5afaa1839c0035c7c46250784d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_28f3fa5afaa1839c0035c7c46250784d
DTSTART:20150202T130000
DTEND:20150202T143000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Solving Part II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_46469ca26cc3161f03b3cfd32bb81520
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_46469ca26cc3161f03b3cfd32bb81520
DTSTART:20150128T111000
DTEND:20150128T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Solving Part I (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_35da1238cd9ff8aabc4182e0221c8870
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_35da1238cd9ff8aabc4182e0221c8870
DTSTART:20150121T111000
DTEND:20150121T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 5 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_ae1551b4dcb6463d25e19f746a260312
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_ae1551b4dcb6463d25e19f746a260312
DTSTART:20150119T130000
DTEND:20150119T143000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Stable Model Semantics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_99cc7c47632da5d5020dc5b4ee778e79
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_99cc7c47632da5d5020dc5b4ee778e79
DTSTART:20150114T111000
DTEND:20150114T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction to ASP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_bec886bf8545fa3d17882955142cdafd
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_bec886bf8545fa3d17882955142cdafd
DTSTART:20150107T111000
DTEND:20150107T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 4 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_7dc18f23c53d61418b6e950b8bcee3ed
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_7dc18f23c53d61418b6e950b8bcee3ed
DTSTART:20150105T130000
DTEND:20150105T143000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Program Termination (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_838e1295c903b677de04bb4b459ca203
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_838e1295c903b677de04bb4b459ca203
DTSTART:20141217T111000
DTEND:20141217T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_cd474354eff7788fbb0751a134e907e8
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_cd474354eff7788fbb0751a134e907e8
DTSTART:20141210T111000
DTEND:20141210T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 3 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_b8bdbd3bf41467058694c66f83e1b2a7
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_b8bdbd3bf41467058694c66f83e1b2a7
DTSTART:20141208T130000
DTEND:20141208T143000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_1ce5f29cb084834a2a044ca13baefcd9
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_1ce5f29cb084834a2a044ca13baefcd9
DTSTART:20141203T111000
DTEND:20141203T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure PROLOG (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_3f18c3e6922afcdb99bb8467075e2134
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_3f18c3e6922afcdb99bb8467075e2134
DTSTART:20141126T111000
DTEND:20141126T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 2 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_7b4a169ad827264c540951a8eb953059
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_7b4a169ad827264c540951a8eb953059
DTSTART:20141117T130000
DTEND:20141117T143000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_86aae7961bade75199c24d2f90c6ee82
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_86aae7961bade75199c24d2f90c6ee82
DTSTART:20141112T111000
DTEND:20141112T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_34fb520b5cf6085506c481e9ee1cd152
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_34fb520b5cf6085506c481e9ee1cd152
DTSTART:20141105T111000
DTEND:20141105T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 1 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_74dd1a3a27b2ccb7564ac123ea112b5e
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_74dd1a3a27b2ccb7564ac123ea112b5e
DTSTART:20141103T130000
DTEND:20141103T143000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_49c1f8392eac601f107c04876cafa34e
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_49c1f8392eac601f107c04876cafa34e
DTSTART:20141029T111000
DTEND:20141029T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_55b7690e672537e7a70426db197f8543
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2014)#_55b7690e672537e7a70426db197f8543
DTSTART:20141015T111000
DTEND:20141015T124000
LOCATION:APB E005
DTSTAMP:20151006T150100
SEQUENCE:17218
END:VEVENT
END:VCALENDAR