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
2.01.492 Advances in Program Verification -
Event date(s) | room
Description
In this seminar, we will study new developments in the realm of program verification techniques. Depending on the participants, we will either focus on methods for reasoning about probabilistic or classical programs (e.g. in Rust).
Lecturers
SWS
2
Lehrsprache
englisch