General information
Course name | Seminar: 2.01.377 (Proseminar) Future Mobility: Artificial Intelligence meets Formal Methods |
Subtitle | inf377, inf800, inf808 |
Course number | 2.01.377 |
Semester | SoSe2023 |
Current number of participants | 10 |
expected number of participants | 10 |
Home institute | Department of Computing Science |
Courses type | Seminar in category Teaching |
First date | Thursday, 13.04.2023 16:15 - 17:45, Room: A03 2-209 |
Type/Form | |
Lehrsprache | deutsch und englisch |