Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Sommersemester
2025
2.01.803 Verification of Probabilistic Programs -
Veranstaltungstermin | Raum
- 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
Beschreibung
Vorlesung oder Seminar - je nach Anzahl und Vorkenntnissen der Teilnehmer*innen
Lehrende
SWS
2
Lehrsprache
deutsch und englisch