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
2025
2.01.803 Verification of Probabilistic Programs -
Event date(s) | room
- Mittwoch, 9.4.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 16.4.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 23.4.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 30.4.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 7.5.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 14.5.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 21.5.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 28.5.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 4.6.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 11.6.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 18.6.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 25.6.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 2.7.2025 10:00 - 12:00 | A03 2-209
- Mittwoch, 23.7.2025 9:00 - 15:45 | A03 2-202a
- Freitag, 1.8.2025 9:00 - 13:30 | A03-2-202a
Description
Vorlesung oder Seminar - je nach Anzahl und Vorkenntnissen der Teilnehmer*innen
Lecturers
SWS
2
Lehrsprache
deutsch und englisch