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:20260508T132031CEST-6425LCVzpO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150421T101500Z
DTEND:20150421T114500Z
LOCATION:lecture hall HS002\, building E1 3
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6429PSfUdF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
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:20260508T132031CEST-6431Sk4Suv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150423T101500Z
DTEND:20150423T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6434cz3sdt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150427T110000Z
DTEND:20150427T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6436wRcIdw@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150428T101500Z
DTEND:20150428T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6438WMuFU7@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150429T081500Z
DTEND:20150429T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6441NVDl0X@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150429T121500Z
DTEND:20150429T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6443U8Bz4V@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150429T141500Z
DTEND:20150429T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-64457GkIfv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150430T101500Z
DTEND:20150430T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6447Zbn7hj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150504T110000Z
DTEND:20150504T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6449BUGTUt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150505T101500Z
DTEND:20150505T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6452VWNvh2@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150506T081500Z
DTEND:20150506T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6454lI3PCM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150506T121500Z
DTEND:20150506T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6456ANkUdr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150506T141500Z
DTEND:20150506T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6459jSVIeM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150507T101500Z
DTEND:20150507T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6461LvCVwf@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150511T110000Z
DTEND:20150511T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6464aeJVZl@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150512T101500Z
DTEND:20150512T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6466G5PA6C@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150513T081500Z
DTEND:20150513T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6468KkBUet@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150513T121500Z
DTEND:20150513T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6471WVPuHv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150513T141500Z
DTEND:20150513T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6473DWJhhh@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150518T110000Z
DTEND:20150518T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-64759frpg9@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150519T101500Z
DTEND:20150519T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6478rCjpn7@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150520T081500Z
DTEND:20150520T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6480812Kuv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150520T121500Z
DTEND:20150520T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-64822MsrMr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150520T141500Z
DTEND:20150520T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6484je7xHZ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150521T101500Z
DTEND:20150521T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6487L67Sxm@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150522T110000Z
DTEND:20150522T120000Z
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6489UwNf3J@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150526T101500Z
DTEND:20150526T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6491cfC84A@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150526T120000Z
DTEND:20150526T130000Z
LOCATION:room 525\, E1 3
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6493wPgZvi@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150527T081500Z
DTEND:20150527T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6496beHbUU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150527T121500Z
DTEND:20150527T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6498Mos9hw@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150527T141500Z
DTEND:20150527T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6501HjAid0@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150528T101500Z
DTEND:20150528T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6503nsShEJ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150529T100000Z
DTEND:20150529T120000Z
LOCATION:room 525\, E1 3
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6506ceHHpr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150601T110000Z
DTEND:20150601T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6508UKdcL2@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150602T100000Z
DTEND:20150602T120000Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Midterm Exam
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6510ViKziG@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150603T081500Z
DTEND:20150603T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6513nF5pbg@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150603T121500Z
DTEND:20150603T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6515Avnm5m@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150603T141500Z
DTEND:20150603T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6517rOlpaz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150608T110000Z
DTEND:20150608T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Exam Review
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-65208J08ve@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150609T101500Z
DTEND:20150609T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-65235VZX0J@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150610T081500Z
DTEND:20150610T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6526JopPwI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150610T121500Z
DTEND:20150610T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6528bjJ4s3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150610T141500Z
DTEND:20150610T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6531PnJ7gP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150611T101500Z
DTEND:20150611T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6533RJummI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150615T110000Z
DTEND:20150615T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-65358DS4ui@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150616T101500Z
DTEND:20150616T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6538PFXAsv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150617T081500Z
DTEND:20150617T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6540oK6twv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150617T121500Z
DTEND:20150617T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6543SsTIr3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150617T141500Z
DTEND:20150617T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6545VuuJZ4@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150618T101500Z
DTEND:20150618T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6547iWuD9m@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150622T110000Z
DTEND:20150622T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6550CPBI13@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150623T101500Z
DTEND:20150623T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6552ZooVBw@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150624T081500Z
DTEND:20150624T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6554vVx5gf@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150624T121500Z
DTEND:20150624T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6556RZjVFh@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150624T141500Z
DTEND:20150624T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6558UmwSxj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150625T101500Z
DTEND:20150625T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-65610An2Wt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150629T110000Z
DTEND:20150629T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-65631lxFM6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150630T101500Z
DTEND:20150630T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6566TFU53L@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150701T081500Z
DTEND:20150701T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-65689uKpWS@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150701T121500Z
DTEND:20150701T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6570PH4Ptm@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150701T141500Z
DTEND:20150701T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6573x9ct3D@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150702T101500Z
DTEND:20150702T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6575bukcUU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150706T110000Z
DTEND:20150706T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6577NUTm9V@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150707T101500Z
DTEND:20150707T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6580nUtNgf@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150708T081500Z
DTEND:20150708T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6582TmsOGD@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150708T121500Z
DTEND:20150708T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6584DfPTUN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150708T141500Z
DTEND:20150708T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6586Azl2Bt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150709T101500Z
DTEND:20150709T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6589GgkgUv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150713T110000Z
DTEND:20150713T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6591VP15mR@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150714T101500Z
DTEND:20150714T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6593uRCWeI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150715T081500Z
DTEND:20150715T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6596RkKuUV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150715T121500Z
DTEND:20150715T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6598CBlhsk@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150715T141500Z
DTEND:20150715T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-66009VcW9U@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150716T101500Z
DTEND:20150716T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6603Fpu1kA@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150720T110000Z
DTEND:20150720T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6605Ct9j2R@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150721T101500Z
DTEND:20150721T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6607Bn7u14@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150722T081500Z
DTEND:20150722T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6610iztv60@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150722T121500Z
DTEND:20150722T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6612a1DtJF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150722T141500Z
DTEND:20150722T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6614WunDFT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150723T101500Z
DTEND:20150723T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6617RvfzGu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150727T110000Z
DTEND:20150727T130000Z
LOCATION:Room 525\, E 1 3
SUMMARY:Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6619CciLz7@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150728T101500Z
DTEND:20150728T114500Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Lecture
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6621n58UuV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150729T081500Z
DTEND:20150729T094500Z
LOCATION:E2 5\, Seminarraum 3 (U.11)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6624mJe8Sj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150729T121500Z
DTEND:20150729T134500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6626W61jxP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150729T141500Z
DTEND:20150729T154500Z
LOCATION:E2 5\, Seminarraum 2 (U.36)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-6628akl6kv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:
DTSTART:20150730T100000Z
DTEND:20150730T120000Z
LOCATION:building E1 3\, lecture hall HS002
SUMMARY:Endterm Exam
END:VEVENT
BEGIN:VEVENT
UID:20260508T132031CEST-66311lc0VT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20260508T112031Z
DESCRIPTION:oral examination
DTSTART;VALUE=DATE:20150908
DTEND;VALUE=DATE:20150909
LOCATION:E1 3\, Rm. 514 
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR