BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:24S_703314_4522340@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240308T091500Z
DTEND:20240308T114500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522341@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240315T091500Z
DTEND:20240315T114500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522342@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240322T091500Z
DTEND:20240322T114500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522343@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240412T081500Z
DTEND:20240412T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522344@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240419T081500Z
DTEND:20240419T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522345@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240426T081500Z
DTEND:20240426T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522346@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240503T081500Z
DTEND:20240503T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522347@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240510T081500Z
DTEND:20240510T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522348@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240517T081500Z
DTEND:20240517T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522349@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240524T081500Z
DTEND:20240524T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522350@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240531T081500Z
DTEND:20240531T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522351@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240607T081500Z
DTEND:20240607T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522352@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240614T081500Z
DTEND:20240614T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522353@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240621T081500Z
DTEND:20240621T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
BEGIN:VEVENT
UID:24S_703314_4522354@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Logik und Lernen A: Interactive Theorem Proving (LV 703314-0 24S)
DESCRIPTION:Lehrveranstaltung 703314 24S, Gruppe 0\nTitel: VU Logik und Lernen A: Interactive Theorem Proving\nOrt: SR 12\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=24S&lvnr_id_in=703314\n
CLASS:PUBLIC
DTSTART:20240628T081500Z
DTEND:20240628T104500Z
DTSTAMP:20260531T140151Z
LOCATION:SR 12
END:VEVENT
END:VCALENDAR