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:20151012T130000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Solving 2/2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_9adcdb23f218a23b2185386370c07bda
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_9adcdb23f218a23b2185386370c07bda
DTSTART:20160201T130000
DTEND:20160201T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 6 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_b5f5ca294ebffab0c6ade0fece9bf55c
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_b5f5ca294ebffab0c6ade0fece9bf55c
DTSTART:20160126T073000
DTEND:20160126T090000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Solving 1/2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_36d1bced5d1825a3e03d4d4b65fc344b
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_36d1bced5d1825a3e03d4d4b65fc344b
DTSTART:20160125T130000
DTEND:20160125T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Stable Model Semantics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_0d7b8655f5d11cec3bcda1c852ea987c
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_0d7b8655f5d11cec3bcda1c852ea987c
DTSTART:20160118T130000
DTEND:20160118T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 5 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_bd113301f35a669297022a0532c70aa7
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_bd113301f35a669297022a0532c70aa7
DTSTART:20160112T111000
DTEND:20160112T124000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction to ASP (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_3559ecb06bc15cd675b1efab23f8e267
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_3559ecb06bc15cd675b1efab23f8e267
DTSTART:20160111T130000
DTEND:20160111T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Program Termination ctd. (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_7ce3cd01f877117910c17e1b7303cb37
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_7ce3cd01f877117910c17e1b7303cb37
DTSTART:20160104T130000
DTEND:20160104T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 4 (continued) (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_d0f172a268164bd9b08ff90c3ffca4c7
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_d0f172a268164bd9b08ff90c3ffca4c7
DTSTART:20151215T073000
DTEND:20151215T090000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Program Termination (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_12720080b1445350682905947b1beb59
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_12720080b1445350682905947b1beb59
DTSTART:20151214T130000
DTEND:20151214T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 4 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_538eb0727bef5f54c771c6d5d5ede386
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_538eb0727bef5f54c771c6d5d5ede386
DTSTART:20151208T073000
DTEND:20151208T090000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Declarative Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_78f8db7e1e18a20fdaee9c3bb7e87c18
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_78f8db7e1e18a20fdaee9c3bb7e87c18
DTSTART:20151207T130000
DTEND:20151207T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Negation: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_046a43505cacefcc483bdb4750e34fa1
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_046a43505cacefcc483bdb4750e34fa1
DTSTART:20151130T130000
DTEND:20151130T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 3 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_3ad643b5ea90ec6dc423c9b64181725c
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_3ad643b5ea90ec6dc423c9b64181725c
DTSTART:20151124T073000
DTEND:20151124T090000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Pure PROLOG (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_a90352f173467a649ea687c96998cf6c
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_a90352f173467a649ea687c96998cf6c
DTSTART:20151123T130000
DTEND:20151123T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation II/II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_a3ede1682a1da3c7e5fdb100d352aac6
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_a3ede1682a1da3c7e5fdb100d352aac6
DTSTART:20151116T130000
DTEND:20151116T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 2 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_97536f800ef240abaf172d84a6784264
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_97536f800ef240abaf172d84a6784264
DTSTART:20151103T073000
DTEND:20151103T090000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Declarative Interpretation I/II (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_62189238d807dc42fff651e6090b197d
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_62189238d807dc42fff651e6090b197d
DTSTART:20151102T130000
DTEND:20151102T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Procedural Interpretation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_8acec7b8a55428792171cdd208fcc86f
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_8acec7b8a55428792171cdd208fcc86f
DTSTART:20151026T130000
DTEND:20151026T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Tutorial 1 (Übung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_bf08ff9b13c37b10e2f8e8e53515b550
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_bf08ff9b13c37b10e2f8e8e53515b550
DTSTART:20151020T073000
DTEND:20151020T090000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Unification (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_80769856e49f031bfdef456a16aa5fdd
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_80769856e49f031bfdef456a16aa5fdd
DTSTART:20151019T130000
DTEND:20151019T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
BEGIN:VEVENT
SUMMARY:Foundations of Logic Programming: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_8a1ba8bf94e1019185de63d03d4bee62
UID://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2015)#_8a1ba8bf94e1019185de63d03d4bee62
DTSTART:20151012T130000
DTEND:20151012T143000
LOCATION:APB E005
DTSTAMP:20160122T150053
SEQUENCE:18006
END:VEVENT
END:VCALENDAR