Proseminar on Modeling and Verification
- type: Proseminar (PS)
- semester: WS 19/20
-
time:
Kickoff-Meeting
Dienstag, 22. Oktober 14:00 - 15:30 Uhr,
Raum 348 (3. Stock)
50.34 Informatik, Kollegiengebäude am Fasanengarten -
lecturer:
Prof. Dr.-Ing. Klemens Böhm
Dr. Martin Schäler
Adrian Englhardt
Natalia Arzamasova
Vadim Arzamasov
Jakob Bach
Christine Tex
Jutta Mülle - lv-no.: 2400113
-
information:
Die Anmeldung erfolgt über https://portal.wiwi.kit.edu/.