Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2022
2.01.455 Model Checking -
Event date(s) | room
- Mittwoch, 20.4.2022 10:15 - 11:45 | A01 0-008
- Montag, 25.4.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 27.4.2022 10:15 - 11:45 | A01 0-008
- Montag, 2.5.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 4.5.2022 10:15 - 11:45 | A01 0-008
- Montag, 9.5.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 11.5.2022 10:15 - 11:45 | A01 0-008
- Montag, 16.5.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 18.5.2022 10:15 - 11:45 | A01 0-008
- Montag, 23.5.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 25.5.2022 10:15 - 11:45 | A01 0-008
- Montag, 30.5.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 1.6.2022 10:15 - 11:45 | A01 0-008
- Mittwoch, 8.6.2022 10:15 - 11:45 | A01 0-008
- Montag, 13.6.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 15.6.2022 10:15 - 11:45 | A01 0-008
- Montag, 20.6.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 22.6.2022 10:15 - 11:45 | A01 0-008
- Montag, 27.6.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 29.6.2022 10:15 - 11:45 | A01 0-008
- Montag, 4.7.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 6.7.2022 10:15 - 11:45 | A01 0-008
- Montag, 11.7.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 13.7.2022 10:15 - 11:45 | A01 0-008
- Montag, 18.7.2022 14:15 - 15:45 | A10 1-121 (Hörsaal F)
- Mittwoch, 20.7.2022 10:15 - 11:45 | A01 0-008
Lecturers
SWS
4