Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.801-B Forschungsseminar Formale Methoden |
Untertitel | inf801 |
Veranstaltungsnummer | 2.01.801-B |
Semester | SoSe2023 |
Aktuelle Anzahl der Teilnehmenden | 4 |
erwartete Teilnehmendenanzahl | 8 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Erster Termin | Mittwoch, 19.04.2023 09:00 - 11:00, Ort: (A02 3 334) |
Art/Form | |
Lehrsprache | deutsch und englisch |