BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:24S_703315_4493993@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240307T071500Z
DTEND:20240307T100000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4493994@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240314T071500Z
DTEND:20240314T100000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4493995@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240321T071500Z
DTEND:20240321T100000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4493996@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240411T061500Z
DTEND:20240411T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4493997@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240418T061500Z
DTEND:20240418T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4493998@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240425T061500Z
DTEND:20240425T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4493999@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240502T061500Z
DTEND:20240502T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4494000@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240516T061500Z
DTEND:20240516T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4494001@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240523T061500Z
DTEND:20240523T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4494002@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240606T061500Z
DTEND:20240606T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4494003@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240613T061500Z
DTEND:20240613T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4494004@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240620T061500Z
DTEND:20240620T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
BEGIN:VEVENT
UID:24S_703315_4494005@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 24S)
DESCRIPTION:Lehrveranstaltung 703315 24S, Gruppe 0\nTitel: VU Logik und Lernen B: Interactive Theorem Proving in Isabelle/HOL\nOrt: rr 18\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703315\n
CLASS:PUBLIC
DTSTART:20240627T061500Z
DTEND:20240627T090000Z
DTSTAMP:20260416T203459Z
LOCATION:rr 18
END:VEVENT
END:VCALENDAR