General information
| Course name | Seminar: 2.01.801-B Forschungsseminar Formale Methoden |
| Subtitle | inf801 |
| Course number | 2.01.801-B |
| Semester | WiSe25/26 |
| Current number of participants | 4 |
| expected number of participants | 8 |
| Home institute | Department of Computing Science |
| Courses type | Seminar in category Teaching |
| First date | Thursday, 23.10.2025 09:00 - 10:00, Room: (A02 3-334) |
| Type/Form | |
| Lehrsprache | deutsch und englisch |
