BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:09W_703503_1240456@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091014T101500Z
DTEND:20091014T120000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1240457@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091021T101500Z
DTEND:20091021T120000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1240458@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091028T111500Z
DTEND:20091028T130000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1240459@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091104T111500Z
DTEND:20091104T130000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1327746@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091113T151500Z
DTEND:20091113T170000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1327745@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS E (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091117T151500Z
DTEND:20091117T170000Z
DTSTAMP:20260405T121014Z
LOCATION:HS E (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1240462@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091125T111500Z
DTEND:20091125T130000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1240460@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091202T111500Z
DTEND:20091202T130000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1240461@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091209T111500Z
DTEND:20091209T130000Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1360129@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS F (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20091216T111500Z
DTEND:20091216T124500Z
DTSTAMP:20260405T121014Z
LOCATION:HS F (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1360130@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS A (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20100113T111500Z
DTEND:20100113T121500Z
DTSTAMP:20260405T121014Z
LOCATION:HS A (Technik)
END:VEVENT
BEGIN:VEVENT
UID:09W_703503_1391420@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:Einführung in Model Checking (LV 703503-0 09W)
DESCRIPTION:Lehrveranstaltung 703503 09W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS A (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=09W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20100316T111500Z
DTEND:20100316T124500Z
DTSTAMP:20260405T121014Z
LOCATION:HS A (Technik)
COMMENT:Prüfung
END:VEVENT
END:VCALENDAR