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.496 Weak Memory Models
Semester:
Winter term
2025
2.01.496 Weak Memory Models -
Event date(s) | room
Description
In this seminar, we will study different weak memory models and verification approaches for concurrent programs.
Lecturers
SWS
2
Lehrsprache
englisch