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.490 Seminar: Concurrency Verification -
Veranstaltungstermin | Raum
- Mittwoch, 8.4.2026 16:00 - 18:00 | A02 3-334
Veranstaltungsort
- nach Vereinbarung, bitte sprechen Sie den/die Lehrenden an
Beschreibung
In this seminar, we will take a look at different techniques for verifying concurrent programs.
Lehrende
SWS
2
Lehrsprache
englisch