Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.495 Verification of Neural Networks |
Untertitel | inf495 |
Veranstaltungsnummer | 2.01.495 |
Semester | SoSe2022 |
Aktuelle Anzahl der Teilnehmenden | 11 |
erwartete Teilnehmendenanzahl | 12 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Erster Termin | Mittwoch, 20.04.2022 16:15 - 17:45, Ort: A03 2-209 |
Art/Form | S |
Teilnehmende | The intended audience is computer science or math students with background in logic and algorithms. |
Voraussetzungen | We assume familiarity with algorithms and logic. While basic knowledge of (deep) neural networks is helpful, in-depth familiarity with deep learning is not required. Please contact the instructor should you be unsure if you have the necessary background. |
Lehrsprache | englisch |