Algorithmic Program Verification: Concurrent and Distributed Systems (MPRI 2.9.2)
Master Parisien de Recherche en Informatique -- Parisian Master of Research in Computer Science
Information
-
Contact : Ahmed Bouajjani -- abou "at" irif "dot" fr
-
Dates and Time Slots: Wednesday 09/12/2020, 16/12/2020, 06/01/2021, and 13/01/2021 (4 other lectures will be given afterwards by Constantin Enea in January and February. The dates for those lectures will be confirmed later).
-
Zoom Link:
Join Lectures Here
-
Videos: Youtube channel
Slides
Articles