Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.591 Verification of Distributed AI Systems |
Untertitel | inf591 |
Veranstaltungsnummer | 2.01.591 |
Semester | WiSe23/24 |
Aktuelle Anzahl der Teilnehmenden | 3 |
erwartete Teilnehmendenanzahl | 14 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Erster Termin | Mittwoch, 18.10.2023 10:00 - 12:00, Ort: (A05 2-229) |
Art/Form | S |
Lehrsprache | deutsch und englisch |