BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62376233-3730-4466-b764-613434303831
X-WR-CALNAME:Programmierung 2 Calendar
X-WR-CALDESC:Termine der Vorlesung Programmierung 2
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:37333832-3163-4338-b133-373236653264
DTSTAMP:20260630T040718Z
DESCRIPTION:Details werden zeitnah im Forum bekanntgegeben.
DTSTART:20200414T121500Z
DTEND:20200414T134500Z
LOCATION:online
SUMMARY:Prog2: Einführungsveranstaltung
END:VEVENT
BEGIN:VEVENT
UID:62313462-6332-4463-a530-643465313064
DTSTAMP:20260630T040718Z
DESCRIPTION:C (3.1-3.4\,3.6): Intro\, Aufbau\, Anw\, Vars\, ÜE\n
DTSTART:20200505T121500Z
DTEND:20200505T140000Z
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:63326337-3334-4463-a363-346234376464
DTSTAMP:20260630T040718Z
DESCRIPTION:C (3.5\,3.7\,3.9): Basistypen\, Ausdrücke\, L/R-Eval\, Zeiger
DTSTART:20200508T063000Z
DTEND:20200508T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:30646666-3465-4962-a638-613838346537
DTSTAMP:20260630T040718Z
DESCRIPTION:C (3.8\,3.9\,3.11\,3.13): UP\, Reihungen\, I/O\, malloc
DTSTART:20200512T121500Z
DTEND:20200512T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:34396461-3032-4263-b838-653934346230
DTSTAMP:20260630T040718Z
DESCRIPTION:C (3.12\,3.14): structs\, undef behavior
DTSTART:20200515T063000Z
DTEND:20200515T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:62323365-3338-4539-b065-313363643261
DTSTAMP:20260630T040718Z
DESCRIPTION:Semantik (5.1-5.3): C0
DTSTART:20200519T121500Z
DTEND:20200519T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:65333932-3939-4336-b030-386537316361
DTSTAMP:20260630T040718Z
DESCRIPTION:Semantik (5.3-5.4): C0\, C0p
DTSTART:20200522T063000Z
DTEND:20200522T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:33306233-3436-4535-b361-393831633938
DTSTAMP:20260630T040718Z
DESCRIPTION:Semantik (5.4-5.5\,6.1): C0p\, C0b\, Korrektheit
DTSTART:20200526T121500Z
DTEND:20200526T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:33323039-6566-4762-b738-656231613831
DTSTAMP:20260630T040718Z
DESCRIPTION:Semantik (6.2\,6.3)  Fehler\, Testen
DTSTART:20200529T063000Z
DTEND:20200529T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:63643164-6331-4562-b166-363466393765
DTSTAMP:20260630T040718Z
DESCRIPTION:Java: Intro
DTSTART:20200605T063000Z
DTEND:20200605T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:37313830-6639-4139-a164-613739333737
DTSTAMP:20260630T040718Z
DESCRIPTION:Java: Kapselung\, Interf.\, Vererb
DTSTART:20200609T121500Z
DTEND:20200609T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:65666538-3435-4832-a264-633331373039
DTSTAMP:20260630T040718Z
DESCRIPTION:Vererbung
DTSTART:20200612T063000Z
DTEND:20200612T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:39646432-6335-4334-b631-333938333538
DTSTAMP:20260630T040718Z
DESCRIPTION:Java Datenstrukturen (9.1.-9.3)
DTSTART:20200616T121500Z
DTEND:20200616T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:39646334-3136-4631-b233-363439666563
DTSTAMP:20260630T040718Z
DESCRIPTION:Java Hashing (9.4\, 9.5\, 9.6)
DTSTART:20200619T063000Z
DTEND:20200619T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:38623039-3539-4230-b865-643637323333
DTSTAMP:20260630T040718Z
DESCRIPTION:Compiler AST (10.1)\, Typsystem (5.6)
DTSTART:20200623T121500Z
DTEND:20200623T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:66336437-3962-4634-b339-376332643563
DTSTAMP:20260630T040718Z
DESCRIPTION:Compiler: Typsystem (10.1\, 5.6)
DTSTART:20200626T063000Z
DTEND:20200626T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:39333038-6234-4830-b062-323739336561
DTSTAMP:20260630T040718Z
DESCRIPTION:Verifikation: Weakest Preconditions (6.4)
DTSTART:20200630T121500Z
DTEND:20200630T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:63373835-3735-4933-b837-333163633835
DTSTAMP:20260630T040718Z
DESCRIPTION:Verifikation: Schleifeninvarianten (6.5)
DTSTART:20200703T063000Z
DTEND:20200703T080000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:61656465-6336-4766-b136-366237303839
DTSTAMP:20260630T040718Z
DESCRIPTION:Mechanisierung der Verfikation (6.6)
DTSTART:20200707T121500Z
DTEND:20200707T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
BEGIN:VEVENT
UID:36373730-3532-4561-a132-643539353630
DTSTAMP:20260630T040718Z
DESCRIPTION:WP
DTSTART:20200714T121500Z
DTEND:20200714T140000Z
LOCATION:online
SUMMARY:Prog2: Vorlesung
END:VEVENT
END:VCALENDAR
