BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:26S_703315_4965721@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260302T114500Z
DTEND:20260302T141500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965722@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260309T114500Z
DTEND:20260309T141500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965723@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260316T114500Z
DTEND:20260316T141500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965724@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260323T114500Z
DTEND:20260323T141500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965725@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260413T104500Z
DTEND:20260413T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965726@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260420T104500Z
DTEND:20260420T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965728@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260504T104500Z
DTEND:20260504T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965729@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260511T104500Z
DTEND:20260511T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965730@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260518T104500Z
DTEND:20260518T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965731@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260601T104500Z
DTEND:20260601T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965732@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260608T104500Z
DTEND:20260608T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965733@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260615T104500Z
DTEND:20260615T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
BEGIN:VEVENT
UID:26S_703315_4965734@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL (LV 703315-0 26S)
DESCRIPTION:Lehrveranstaltung 703315 26S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 19\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=26S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20260622T104500Z
DTEND:20260622T131500Z
DTSTAMP:20260603T114531Z
LOCATION:rr 19
END:VEVENT
END:VCALENDAR