BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:07W_703503_890495@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS 11\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071008T111500Z
DTEND:20071008T120000Z
DTSTAMP:20260606T021408Z
LOCATION:HS 11
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890496@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS 11\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071015T111500Z
DTEND:20071015T120000Z
DTSTAMP:20260606T021408Z
LOCATION:HS 11
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890006@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071022T111500Z
DTEND:20071022T120000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890007@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071029T121500Z
DTEND:20071029T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890008@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071105T121500Z
DTEND:20071105T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890009@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071112T121500Z
DTEND:20071112T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890010@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071119T121500Z
DTEND:20071119T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890011@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071126T121500Z
DTEND:20071126T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890012@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071203T121500Z
DTEND:20071203T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890013@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20071210T121500Z
DTEND:20071210T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890014@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20080107T121500Z
DTEND:20080107T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890015@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20080114T121500Z
DTEND:20080114T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_890016@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, Gruppe 0\nTitel: Einführung in Model Checking\nOrt: HS C (Technik)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20080121T121500Z
DTEND:20080121T130000Z
DTSTAMP:20260606T021408Z
LOCATION:HS C (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_888897@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, 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=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20080128T120000Z
DTEND:20080128T140000Z
DTSTAMP:20260606T021408Z
LOCATION:HS A (Technik)
END:VEVENT
BEGIN:VEVENT
UID:07W_703503_929204@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 07W)
DESCRIPTION:Lehrveranstaltung 703503 07W, 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=07W&lvnr_id_in=703503\n
CLASS:PUBLIC
DTSTART:20080225T120000Z
DTEND:20080225T140000Z
DTSTAMP:20260606T021408Z
LOCATION:HS A (Technik)
COMMENT:Klausur
END:VEVENT
END:VCALENDAR