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:20261009T160128CEST-5481vu6t2g@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140415T101500Z
DTEND:20140415T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5488joxnu0@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:Special Office Hour to help students install Coq.
DTSTART:20140416T120000Z
DTEND:20140416T130000Z
LOCATION:Room 525
SUMMARY:Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-549682PgKa@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140416T154500Z
DTEND:20140416T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5504eiBVAI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140417T101500Z
DTEND:20140417T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5512xJC5Fa@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140422T101500Z
DTEND:20140422T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-55191vUzZ0@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140423T080000Z
DTEND:20140423T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5526EKNgrM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140423T120000Z
DTEND:20140423T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5534FM1OJr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140423T140000Z
DTEND:20140423T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-55429VDlPo@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140423T154500Z
DTEND:20140423T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5549keJ8la@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140424T101500Z
DTEND:20140424T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5584j7xfJV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140428T110000Z
DTEND:20140428T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-55925V7X4F@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140428T120000Z
DTEND:20140428T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5600VHMD6o@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140428T130000Z
DTEND:20140428T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5609GaedUg@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140429T101500Z
DTEND:20140429T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5616fBANAT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140430T080000Z
DTEND:20140430T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5624Oj116w@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140430T120000Z
DTEND:20140430T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-56310EH0v2@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140430T140000Z
DTEND:20140430T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5637RXF8P3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140430T154500Z
DTEND:20140430T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5647VGBSHS@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140505T110000Z
DTEND:20140505T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5654VvnpS5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140505T120000Z
DTEND:20140505T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-56627773Pl@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140505T130000Z
DTEND:20140505T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5668ICSXOT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140506T101500Z
DTEND:20140506T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5676AuEZPs@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140507T080000Z
DTEND:20140507T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5791fTuwic@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140507T120000Z
DTEND:20140507T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5798nD7Iz4@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140507T140000Z
DTEND:20140507T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-58066UVLk9@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140507T154500Z
DTEND:20140507T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5813m62NAe@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140508T101500Z
DTEND:20140508T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5821h254bF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140512T110000Z
DTEND:20140512T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-58272D13vg@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140512T120000Z
DTEND:20140512T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5835g5b4sg@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140512T130000Z
DTEND:20140512T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-58421vVSlF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140513T101500Z
DTEND:20140513T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5848B7uANN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140514T080000Z
DTEND:20140514T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-58558SbdcH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140514T120000Z
DTEND:20140514T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5863Sdap3o@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140514T140000Z
DTEND:20140514T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5871eL2dL1@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140514T154500Z
DTEND:20140514T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-58774lcUhM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140515T101500Z
DTEND:20140515T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5885GBUuAV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140519T110000Z
DTEND:20140519T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5939W0lLv9@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140519T120000Z
DTEND:20140519T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5947bAVGuT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140519T130000Z
DTEND:20140519T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-59554aUSuE@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140520T101500Z
DTEND:20140520T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5963VgEWT2@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140521T080000Z
DTEND:20140521T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5970oIBaBu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140521T120000Z
DTEND:20140521T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-59786udV8L@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140521T140000Z
DTEND:20140521T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5985Tej6t8@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140521T154500Z
DTEND:20140521T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-5993oBSgvf@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140522T101500Z
DTEND:20140522T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6001VPKuVb@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140526T110000Z
DTEND:20140526T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6008eokJcL@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140526T120000Z
DTEND:20140526T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6015uMUND3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140526T130000Z
DTEND:20140526T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6023j2fNAd@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140527T101500Z
DTEND:20140527T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-60311PZVXr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140528T080000Z
DTEND:20140528T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6038dsXFnp@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140528T120000Z
DTEND:20140528T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6048Ezb5vu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140528T140000Z
DTEND:20140528T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6058SCKIvr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140528T154500Z
DTEND:20140528T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-60650tMFjc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140602T110000Z
DTEND:20140602T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6073ieAMcF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140602T120000Z
DTEND:20140602T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6081n6jVEH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140602T130000Z
DTEND:20140602T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6089NPPrv5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140603T101500Z
DTEND:20140603T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6097uDgV26@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140604T080000Z
DTEND:20140604T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6105tVB6l6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140604T120000Z
DTEND:20140604T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6113CaafND@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140604T140000Z
DTEND:20140604T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6120GINh1P@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140604T154500Z
DTEND:20140604T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6127TmrLa6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140605T101500Z
DTEND:20140605T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6136Cursz6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140609T110000Z
DTEND:20140609T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-61449hVh4v@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140609T120000Z
DTEND:20140609T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-61526KJ6SU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140609T130000Z
DTEND:20140609T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6160g0wvjT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140610T101500Z
DTEND:20140610T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-61688NVKM2@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140610T130000Z
DTEND:20140610T150000Z
LOCATION:Room 525
SUMMARY:Extra Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6176mxVX76@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140611T080000Z
DTEND:20140611T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6184OEd2co@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140611T120000Z
DTEND:20140611T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6192rxWo8G@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140611T140000Z
DTEND:20140611T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6200GeEl1C@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140611T154500Z
DTEND:20140611T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6208Lm3242@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140612T101500Z
DTEND:20140612T114500Z
LOCATION:E2 5\, HS I
SUMMARY:Exam 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6216PJZLOU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140613T100000Z
DTEND:20140613T110000Z
LOCATION:Room 517
SUMMARY:Exam Review
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6223ZjLUM5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140616T110000Z
DTEND:20140616T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-62312Uuau6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140616T120000Z
DTEND:20140616T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-623872todD@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140616T130000Z
DTEND:20140616T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6246ZljJLk@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140617T101500Z
DTEND:20140617T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6254hIf9ml@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140618T080000Z
DTEND:20140618T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6263pcgFvF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140618T120000Z
DTEND:20140618T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6271U0oPGe@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140618T140000Z
DTEND:20140618T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6279svZ7nc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140618T154500Z
DTEND:20140618T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6289EUwOr8@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140623T110000Z
DTEND:20140623T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6300dE3URX@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140623T120000Z
DTEND:20140623T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6308oU4NtP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140623T130000Z
DTEND:20140623T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6315ninxvd@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140624T101500Z
DTEND:20140624T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6323nexUHe@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140625T080000Z
DTEND:20140625T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6333e4fVha@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140625T120000Z
DTEND:20140625T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6341cada2m@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140625T140000Z
DTEND:20140625T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6348Cm0lrm@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140625T154500Z
DTEND:20140625T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6356s6zWUM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140626T101500Z
DTEND:20140626T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6365uMVrVV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140630T110000Z
DTEND:20140630T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6373AWlWin@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140630T120000Z
DTEND:20140630T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6381zDnvAC@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140630T130000Z
DTEND:20140630T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6388uvBkGO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140701T101500Z
DTEND:20140701T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6397hENOxz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140702T080000Z
DTEND:20140702T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6405eWbBaW@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140702T120000Z
DTEND:20140702T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6413xeDMWP@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140702T140000Z
DTEND:20140702T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-64203OTlnd@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140702T154500Z
DTEND:20140702T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6428NGTRZ6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140703T101500Z
DTEND:20140703T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-64367vcku4@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140707T110000Z
DTEND:20140707T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6444ekv6tg@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140707T120000Z
DTEND:20140707T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-64521RLb5p@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140707T130000Z
DTEND:20140707T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-646051abIw@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140708T101500Z
DTEND:20140708T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6467PfashN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140709T080000Z
DTEND:20140709T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6476NU7hTF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140709T120000Z
DTEND:20140709T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6486n40G80@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140709T140000Z
DTEND:20140709T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6495GPKiOV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140709T154500Z
DTEND:20140709T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6503zpOuN6@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140710T101500Z
DTEND:20140710T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6512uuzKkh@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140714T110000Z
DTEND:20140714T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6519BhegeB@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140714T120000Z
DTEND:20140714T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6527hAndd3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140714T130000Z
DTEND:20140714T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6535Udl1Rn@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140715T101500Z
DTEND:20140715T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-654361RCru@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140716T080000Z
DTEND:20140716T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6551v2Nndu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140716T120000Z
DTEND:20140716T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6559oIsmLu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140716T140000Z
DTEND:20140716T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6567GGlU10@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140716T154500Z
DTEND:20140716T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-65748CVjiK@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140717T101500Z
DTEND:20140717T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6583PFMLBN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140721T110000Z
DTEND:20140721T120000Z
LOCATION:Room 525
SUMMARY:Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6593vRbVNt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140721T120000Z
DTEND:20140721T130000Z
LOCATION:Room 525
SUMMARY:Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6601AvLN2K@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140721T130000Z
DTEND:20140721T140000Z
LOCATION:Room 525
SUMMARY:Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-66089jagSo@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140722T101500Z
DTEND:20140722T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6615dnDDnl@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140723T080000Z
DTEND:20140723T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6625xWa3Au@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140723T120000Z
DTEND:20140723T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6632fghsEZ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140723T140000Z
DTEND:20140723T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6640UrlrvJ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140723T154500Z
DTEND:20140723T164500Z
LOCATION:Room 525
SUMMARY:Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6648pH0Vvv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART:20140724T101500Z
DTEND:20140724T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Exam 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T160128CEST-6656zsPSUd@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T140128Z
DESCRIPTION:
DTSTART;VALUE=DATE:20140918
DTEND;VALUE=DATE:20140919
LOCATION: E1 3\, Rm. 514
SUMMARY:Oral Examination
END:VEVENT
END:VCALENDAR