Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.484 Verification of Neural Networks |
Untertitel | inf484/inf807 |
Veranstaltungsnummer | 2.01.484 |
Semester | WiSe22/23 |
Aktuelle Anzahl der Teilnehmenden | 0 |
erwartete Teilnehmendenanzahl | 30 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Donnerstag, 20.10.2022 14:15 - 15:45 |
Art/Form | |
Lehrsprache | deutsch |