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.
Lehrveranstaltung: 2.01.496 Weak Memory Models
Semester:
Wintersemester
2025
2.01.496 Weak Memory Models -
Veranstaltungstermin | Raum
Beschreibung
In this seminar, we will study different weak memory models and verification approaches for concurrent programs.
Lehrende
SWS
2
Lehrsprache
englisch