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.490 Seminar: Concurrency Verification -
Event date(s) | room
- Mittwoch, 8.4.2026 16:00 - 18:00 | A02 3-334
Location
- nach Vereinbarung, bitte sprechen Sie den/die Lehrenden an
Description
In this seminar, we will take a look at different techniques for verifying concurrent programs.
Lecturers
SWS
2
Lehrsprache
englisch