BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:23S_703315_4263989@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230309T081500Z
DTEND:20230309T110000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263990@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230316T081500Z
DTEND:20230316T110000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263991@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230323T081500Z
DTEND:20230323T110000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263992@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230330T071500Z
DTEND:20230330T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263993@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230420T071500Z
DTEND:20230420T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263994@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230427T071500Z
DTEND:20230427T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263995@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230504T071500Z
DTEND:20230504T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263996@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230511T071500Z
DTEND:20230511T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263997@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230525T071500Z
DTEND:20230525T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263998@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230601T071500Z
DTEND:20230601T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4263999@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230615T071500Z
DTEND:20230615T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4264000@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230622T071500Z
DTEND:20230622T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
BEGIN:VEVENT
UID:23S_703315_4264001@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 23S)
DESCRIPTION:Lehrveranstaltung 703315 23S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 20\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20230629T071500Z
DTEND:20230629T100000Z
DTSTAMP:20260514T040724Z
LOCATION:rr 20
END:VEVENT
END:VCALENDAR