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
2.01.492 Advances in Automated Program Verification -
Veranstaltungstermin | Raum
- Dienstag, 7.4.2026 8:00 - 10:00 | A03 2-209
- Dienstag, 14.7.2026 8:00 - 18:00 | A03 2-209
- Mittwoch, 15.7.2026 8:00 - 18:00 | A03 2-209
Beschreibung
In this seminar, we will study new developments in the realm of automated program verification techniques. Depending on the participants, we will either focus on methods for reasoning about probabilistic or classical programs (e.g. in Rust).
Lehrende
SWS
4
Lehrsprache
englisch