BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Introduction to Computational Logic.courses.ps.uni-saarland.de//N
 ONSGML kigkonsult.se iCalcreator 2.18//
METHOD:PUBLISH
X-WR-CALNAME:Introduction to Computational Logic Calendar
X-WR-CALDESC:Events of the lecture Introduction to Computational Logic
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:20260815T205726CEST-72075zPVJP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150421T101500Z
DTEND:20150421T114500Z
LOCATION:lecture hall HS002\, building E1 3
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7211xM8zMS@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:Special Office Hour for everybody who needs help with installin
 g Coq.
DTSTART:20150422T121500Z
DTEND:20150422T130000Z
LOCATION:E1 3\, Room 525
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7213Pu4DAA@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150423T101500Z
DTEND:20150423T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7216KEBAWi@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150427T110000Z
DTEND:20150427T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72184e5WuR@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150428T101500Z
DTEND:20150428T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7221UKsVur@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150429T081500Z
DTEND:20150429T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7224UOabcF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150429T121500Z
DTEND:20150429T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7226XLHwpv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150429T141500Z
DTEND:20150429T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-723024wN1x@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150430T101500Z
DTEND:20150430T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7232ku6VX9@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150504T110000Z
DTEND:20150504T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7235VIV1pP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150505T101500Z
DTEND:20150505T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7238kzfcJH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150506T081500Z
DTEND:20150506T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72441i8CJ5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150506T121500Z
DTEND:20150506T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7247ugUnBs@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150506T141500Z
DTEND:20150506T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7250k7viib@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150507T101500Z
DTEND:20150507T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72536aLuuU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150511T110000Z
DTEND:20150511T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7255rjjXAN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150512T101500Z
DTEND:20150512T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72587mot5u@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150513T081500Z
DTEND:20150513T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7262GeGGzX@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150513T121500Z
DTEND:20150513T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72654MZKUl@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150513T141500Z
DTEND:20150513T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7267apudIl@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150518T110000Z
DTEND:20150518T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7270utZFuG@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150519T101500Z
DTEND:20150519T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7273D5Npvk@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150520T081500Z
DTEND:20150520T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72752V50fE@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150520T121500Z
DTEND:20150520T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7278mD2eIk@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150520T141500Z
DTEND:20150520T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7281sG1KUc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150521T101500Z
DTEND:20150521T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7283doUt9x@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150522T110000Z
DTEND:20150522T120000Z
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7286ZAIVuI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150526T101500Z
DTEND:20150526T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7289PAhLhI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150526T120000Z
DTEND:20150526T130000Z
LOCATION:room 525\, E1 3
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-72927TEXnt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150527T081500Z
DTEND:20150527T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7294VFdR3u@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150527T121500Z
DTEND:20150527T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7297rvCkVE@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150527T141500Z
DTEND:20150527T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73017UBGJL@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150528T101500Z
DTEND:20150528T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7304PDlVvK@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150529T100000Z
DTEND:20150529T120000Z
LOCATION:room 525\, E1 3
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7307dlV8k7@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150601T110000Z
DTEND:20150601T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7310VLMIUL@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150602T100000Z
DTEND:20150602T120000Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Midterm Exam
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7313VUTbOh@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150603T081500Z
DTEND:20150603T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7315SWSxWX@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150603T121500Z
DTEND:20150603T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7318miTUPv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150603T141500Z
DTEND:20150603T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7321LtKfns@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150608T110000Z
DTEND:20150608T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Exam Review
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7323iROicz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150609T101500Z
DTEND:20150609T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7326pkW3hs@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150610T081500Z
DTEND:20150610T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7329iVOjeh@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150610T121500Z
DTEND:20150610T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7331ZNS2KD@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150610T141500Z
DTEND:20150610T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7334llNeXO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150611T101500Z
DTEND:20150611T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73370Xf8wj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150615T110000Z
DTEND:20150615T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7340OLDUbp@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150616T101500Z
DTEND:20150616T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7343K7Sfb8@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150617T081500Z
DTEND:20150617T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73456BTgxN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150617T121500Z
DTEND:20150617T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73487lHkWv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150617T141500Z
DTEND:20150617T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73511GvVHV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150618T101500Z
DTEND:20150618T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7354iU5fZU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150622T110000Z
DTEND:20150622T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73571iD4NU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150623T101500Z
DTEND:20150623T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7360JMGcGI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150624T081500Z
DTEND:20150624T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7362Bvkvfd@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150624T121500Z
DTEND:20150624T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7365uzKsLx@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150624T141500Z
DTEND:20150624T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7368XCOsuN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150625T101500Z
DTEND:20150625T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7371lGUmIk@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150629T110000Z
DTEND:20150629T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7373GFwu9F@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150630T101500Z
DTEND:20150630T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73761AsVu6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150701T081500Z
DTEND:20150701T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7379DmpBXj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150701T121500Z
DTEND:20150701T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7382UVp7u0@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150701T141500Z
DTEND:20150701T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7386klHlLN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150702T101500Z
DTEND:20150702T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7389G75U1J@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150706T110000Z
DTEND:20150706T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7392ubzvVM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150707T101500Z
DTEND:20150707T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7395H5fNUc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150708T081500Z
DTEND:20150708T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-73989UNuuj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150708T121500Z
DTEND:20150708T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7400SJnFs3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150708T141500Z
DTEND:20150708T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7403G9UUeG@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150709T101500Z
DTEND:20150709T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7406F0K40F@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150713T110000Z
DTEND:20150713T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7409JUkBev@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150714T101500Z
DTEND:20150714T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7411DnjnRH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150715T081500Z
DTEND:20150715T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7414mvV31J@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150715T121500Z
DTEND:20150715T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7417bOUZlT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150715T141500Z
DTEND:20150715T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-74203eR0X6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150716T101500Z
DTEND:20150716T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7422JE2ouj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150720T110000Z
DTEND:20150720T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7425kxPBnz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150721T101500Z
DTEND:20150721T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-74282nuwEB@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150722T081500Z
DTEND:20150722T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7430apIraG@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150722T121500Z
DTEND:20150722T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7433Tw1Ui7@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150722T141500Z
DTEND:20150722T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7436uELMvz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150723T101500Z
DTEND:20150723T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7439wdiU5u@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150727T110000Z
DTEND:20150727T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7441pJ1nbs@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150728T101500Z
DTEND:20150728T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7444vmLxBV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150729T081500Z
DTEND:20150729T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7447WTGKIP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150729T121500Z
DTEND:20150729T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7450x9cvL5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150729T141500Z
DTEND:20150729T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-7452z65hJ2@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:
DTSTART:20150730T100000Z
DTEND:20150730T120000Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Endterm Exam
END:VEVENT
BEGIN:VEVENT
UID:20260815T205726CEST-745589unU6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260815T185726Z
DESCRIPTION:oral examination
DTSTART;VALUE=DATE:20150908
DTEND;VALUE=DATE:20150909
LOCATION:E1 3\, Rm. 514 
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR