Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods |
Untertitel | inf377, inf800, inf808 |
Veranstaltungsnummer | 2.01.377 |
Semester | SoSe2023 |
Aktuelle Anzahl der Teilnehmenden | 10 |
erwartete Teilnehmendenanzahl | 10 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Erster Termin | Donnerstag, 13.04.2023 16:15 - 17:45, Ort: A03 2-209 |
Art/Form | |
Lehrsprache | deutsch und englisch |