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:20261009T151641CEST-4654bPIBbc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140415T101500Z
DTEND:20140415T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4663hu3VLM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:Special Office Hour to help students install Coq.
DTSTART:20140416T120000Z
DTEND:20140416T130000Z
LOCATION:Room 525
SUMMARY:Icl: Special Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4671xSwMZk@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140416T154500Z
DTEND:20140416T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4679AIwVGi@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140417T101500Z
DTEND:20140417T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4687dwV9FO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140422T101500Z
DTEND:20140422T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4695Cmpj3t@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140423T080000Z
DTEND:20140423T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4703UVuupf@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140423T120000Z
DTEND:20140423T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4711ibXKVm@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140423T140000Z
DTEND:20140423T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4719cI0a7C@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140423T154500Z
DTEND:20140423T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4727p3xVXt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140424T101500Z
DTEND:20140424T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4735f47ICJ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140428T110000Z
DTEND:20140428T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4743kclVcm@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140428T120000Z
DTEND:20140428T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4750lLJ46X@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140428T130000Z
DTEND:20140428T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4758wJH6Ou@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140429T101500Z
DTEND:20140429T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4766ngJErO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140430T080000Z
DTEND:20140430T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4774MLpcFN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140430T120000Z
DTEND:20140430T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4781I4T0Tr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140430T140000Z
DTEND:20140430T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4788VVr1sg@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140430T154500Z
DTEND:20140430T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4797is2Zau@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140505T110000Z
DTEND:20140505T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-48051pKtve@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140505T120000Z
DTEND:20140505T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4814V3J4Dz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140505T130000Z
DTEND:20140505T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4822rvOC0x@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140506T101500Z
DTEND:20140506T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4830EZpwlp@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140507T080000Z
DTEND:20140507T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4838ziopI1@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140507T120000Z
DTEND:20140507T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4847ps1klO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140507T140000Z
DTEND:20140507T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4855bBs6JU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140507T154500Z
DTEND:20140507T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4862uGeEvU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140508T101500Z
DTEND:20140508T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4871WizLEW@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140512T110000Z
DTEND:20140512T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4879afZRDU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140512T120000Z
DTEND:20140512T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-48862Jxdat@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140512T130000Z
DTEND:20140512T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4894OHvWVS@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140513T101500Z
DTEND:20140513T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4902rUjFdH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140514T080000Z
DTEND:20140514T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4913EFnScI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140514T120000Z
DTEND:20140514T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-49218F4KAO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140514T140000Z
DTEND:20140514T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4928O8PML8@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140514T154500Z
DTEND:20140514T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4936GTtWpe@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140515T101500Z
DTEND:20140515T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4944k58EBi@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140519T110000Z
DTEND:20140519T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4952FuxwLX@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140519T120000Z
DTEND:20140519T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4960NVdMhF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140519T130000Z
DTEND:20140519T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4967RWhiEj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140520T101500Z
DTEND:20140520T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4975Jc1xWv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140521T080000Z
DTEND:20140521T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-4983JekgV8@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140521T120000Z
DTEND:20140521T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-49928CxvKa@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140521T140000Z
DTEND:20140521T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5000aezC2v@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140521T154500Z
DTEND:20140521T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5021vwLVKr@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140522T101500Z
DTEND:20140522T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5028UCAvt0@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140526T110000Z
DTEND:20140526T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5036VHaa7d@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140526T120000Z
DTEND:20140526T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5044VCIFhZ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140526T130000Z
DTEND:20140526T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5052I33ttF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140527T101500Z
DTEND:20140527T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5059iKnTWI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140528T080000Z
DTEND:20140528T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5067oxJMUj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140528T120000Z
DTEND:20140528T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-50751HO4Ck@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140528T140000Z
DTEND:20140528T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-50833KXOZb@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140528T154500Z
DTEND:20140528T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5091JtovSU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140602T110000Z
DTEND:20140602T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5101uCpfa1@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140602T120000Z
DTEND:20140602T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5109bsM9aH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140602T130000Z
DTEND:20140602T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-51185TJ0VJ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140603T101500Z
DTEND:20140603T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5127kUVm03@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140604T080000Z
DTEND:20140604T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5136LSuZnN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140604T120000Z
DTEND:20140604T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5144nEXLVS@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140604T140000Z
DTEND:20140604T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5152HKWvIZ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140604T154500Z
DTEND:20140604T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5161DWvDVj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140605T101500Z
DTEND:20140605T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5169aDf8se@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140609T110000Z
DTEND:20140609T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5176LzRGUu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140609T120000Z
DTEND:20140609T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5184SwSU83@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140609T130000Z
DTEND:20140609T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5192khleps@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140610T101500Z
DTEND:20140610T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5200FI3i9a@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140610T130000Z
DTEND:20140610T150000Z
LOCATION:Room 525
SUMMARY:Icl: Extra Office Hour
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5207hk4Vvv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140611T080000Z
DTEND:20140611T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-521502nkxu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140611T120000Z
DTEND:20140611T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-522447unTj@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140611T140000Z
DTEND:20140611T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5234JnXvd3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140611T154500Z
DTEND:20140611T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-52419FuXRO@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140612T101500Z
DTEND:20140612T114500Z
LOCATION:E2 5\, HS I
SUMMARY:Icl: Exam 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5249u0u6dE@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140613T100000Z
DTEND:20140613T110000Z
LOCATION:Room 517
SUMMARY:Icl: Exam Review
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5257wgIPoh@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140616T110000Z
DTEND:20140616T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-52659sE3PE@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140616T120000Z
DTEND:20140616T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5273dTviD3@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140616T130000Z
DTEND:20140616T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5280WCb0tN@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140617T101500Z
DTEND:20140617T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5288RE8H3z@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140618T080000Z
DTEND:20140618T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5295Nb10gW@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140618T120000Z
DTEND:20140618T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5303IV4vpB@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140618T140000Z
DTEND:20140618T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5311fC15ah@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140618T154500Z
DTEND:20140618T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-531903PUTw@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140623T110000Z
DTEND:20140623T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5327Vsmhxc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140623T120000Z
DTEND:20140623T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5335nv6vou@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140623T130000Z
DTEND:20140623T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5344xSJfBG@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140624T101500Z
DTEND:20140624T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5351zvavcx@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140625T080000Z
DTEND:20140625T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5358i9kud4@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140625T120000Z
DTEND:20140625T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5366MPLFLu@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140625T140000Z
DTEND:20140625T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5374Wu92o5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140625T154500Z
DTEND:20140625T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-53823cKpSv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140626T101500Z
DTEND:20140626T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5390OVbtka@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140630T110000Z
DTEND:20140630T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-53980vDN4R@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140630T120000Z
DTEND:20140630T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5405vvnpoU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140630T130000Z
DTEND:20140630T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-54147pi04e@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140701T101500Z
DTEND:20140701T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5422OsG6TM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140702T080000Z
DTEND:20140702T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5430M3GDsT@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140702T120000Z
DTEND:20140702T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-54382usZjz@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140702T140000Z
DTEND:20140702T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-54458C08TI@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140702T154500Z
DTEND:20140702T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-54532noMUt@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140703T101500Z
DTEND:20140703T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5461dmVrUV@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140707T110000Z
DTEND:20140707T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5468OxSGo5@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140707T120000Z
DTEND:20140707T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5476UrUnbc@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140707T130000Z
DTEND:20140707T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5484UuP6cB@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140708T101500Z
DTEND:20140708T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5492UvLClW@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140709T080000Z
DTEND:20140709T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-55010CL90D@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140709T120000Z
DTEND:20140709T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5508s5bmOX@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140709T140000Z
DTEND:20140709T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5516e0DWvF@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140709T154500Z
DTEND:20140709T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5526ttvTLK@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140710T101500Z
DTEND:20140710T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-55345DduDi@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140714T110000Z
DTEND:20140714T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-55425MSm3v@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140714T120000Z
DTEND:20140714T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5550JFIVWU@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140714T130000Z
DTEND:20140714T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5557Be8Klx@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140715T101500Z
DTEND:20140715T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5565fwul79@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140716T080000Z
DTEND:20140716T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5573u0lnrw@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140716T120000Z
DTEND:20140716T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5580xpDMBx@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140716T140000Z
DTEND:20140716T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-55881UJ2mi@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140716T154500Z
DTEND:20140716T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5596xtZfuZ@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140717T101500Z
DTEND:20140717T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5605DWGtil@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140721T110000Z
DTEND:20140721T120000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Yannick Forster)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5614mhIZFM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140721T120000Z
DTEND:20140721T130000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Jonas Oberhauser)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5624heFMhL@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140721T130000Z
DTEND:20140721T140000Z
LOCATION:Room 525
SUMMARY:Icl: Office Hour (Dominik Kirst)
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5632CdmpPM@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140722T101500Z
DTEND:20140722T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: ICL Class
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5639e1moWv@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140723T080000Z
DTEND:20140723T100000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 1
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5649UaUKUe@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140723T120000Z
DTEND:20140723T140000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5658DGW3jH@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140723T140000Z
DTEND:20140723T160000Z
LOCATION:Seminar Room 3 (U.11) in Building E2.5 (Mathematics)
SUMMARY:Icl: Tutorial 3
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5666TXLG86@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140723T154500Z
DTEND:20140723T164500Z
LOCATION:Room 525
SUMMARY:Icl: Team Meeting
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5674z0SSg9@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART:20140724T101500Z
DTEND:20140724T114500Z
LOCATION:Building E2 2 (Günter Hotz Hörsaal)
SUMMARY:Icl: Exam 2
END:VEVENT
BEGIN:VEVENT
UID:20261009T151641CEST-5682ac5ssR@Introduction to Computational Logic.cour
 ses.ps.uni-saarland.de
DTSTAMP:20261009T131641Z
DESCRIPTION:
DTSTART;VALUE=DATE:20140918
DTEND;VALUE=DATE:20140919
LOCATION: E1 3\, Rm. 514
SUMMARY:Icl: Oral Examination
END:VEVENT
END:VCALENDAR