Allgemeine Informationen
| Veranstaltungsname | Seminar: 2.01.1011 Oberseminar Formale Methoden |
| Untertitel | bam/mam |
| Veranstaltungsnummer | 2.01.1011 |
| Semester | SoSe2023 |
| Aktuelle Anzahl der Teilnehmenden | 5 |
| erwartete Teilnehmendenanzahl | 10 |
| Heimat-Einrichtung | Department für Informatik |
| Veranstaltungstyp | Seminar in der Kategorie Lehre |
| Erster Termin | Donnerstag, 01.06.2023 14:00 - 15:00, Ort: (A02 3 334) |
| Art/Form | S |
| Lehrsprache | deutsch und englisch |
