BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Universität Innsbruck//LFU:online//DE
METHOD:PUBLISH
BEGIN:VEVENT
UID:23W_703819_4396919@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231004T061500Z
DTEND:20231004T083000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396920@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231011T061500Z
DTEND:20231011T083000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396921@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231018T061500Z
DTEND:20231018T083000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396922@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231025T061500Z
DTEND:20231025T083000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396923@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231108T071500Z
DTEND:20231108T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396924@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: Seminarraum 1 (ICT-Gebäude)\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231115T071500Z
DTEND:20231115T093000Z
DTSTAMP:20260405T174518Z
LOCATION:Seminarraum 1 (ICT-Gebäude)
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396925@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231122T071500Z
DTEND:20231122T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396926@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231129T071500Z
DTEND:20231129T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396927@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231206T071500Z
DTEND:20231206T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396928@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20231213T071500Z
DTEND:20231213T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396929@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20240110T071500Z
DTEND:20240110T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396930@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20240117T071500Z
DTEND:20240117T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396931@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20240124T071500Z
DTEND:20240124T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
BEGIN:VEVENT
UID:23W_703819_4396932@uibk.ac.at
ORGANIZER;CN="LFU:online Universität Innsbruck":MAILTO:Uni-Innsbruck-noreply@uibk.ac.at
SUMMARY:VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen (LV 703819-0 23W)
DESCRIPTION:Lehrveranstaltung 703819 23W, Gruppe 0\nTitel: VU Ausgewählte Kapitel in Logik und Lernen B: Maschinelles Lernen für Theorembeweisen\nOrt: 3W04\n\nhttps://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=23W&lvnr_id_in=703819\n
CLASS:PUBLIC
DTSTART:20240131T071500Z
DTEND:20240131T093000Z
DTSTAMP:20260405T174518Z
LOCATION:3W04
END:VEVENT
END:VCALENDAR