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.
Lecture: 2.01.455 Model Checking
Semester:
Winter term
2025
2.01.455 Model Checking -
Event date(s) | room
- Mittwoch, 15.10.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 16.10.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 22.10.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 23.10.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 29.10.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 30.10.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 5.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 6.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 12.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 13.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 19.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 20.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 26.11.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 27.11.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 3.12.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 4.12.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 10.12.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 11.12.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 17.12.2025 8:00 - 10:00 | A05 1-160
- Donnerstag, 18.12.2025 12:00 - 14:00 | A01 0-005
- Mittwoch, 7.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 8.1.2026 12:00 - 14:00 | A01 0-005
- Mittwoch, 14.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 15.1.2026 12:00 - 14:00 | A01 0-005
- Mittwoch, 21.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 22.1.2026 12:00 - 14:00 | A01 0-005
- Mittwoch, 28.1.2026 8:00 - 10:00 | A05 1-160
- Donnerstag, 29.1.2026 12:00 - 14:00 | A01 0-005
Lecturers
SWS
4
Lehrsprache
deutsch und englisch