Algorithmic Program Verification: Concurrent and Distributed Systems (MPRI 2.9.2)
Master Parisien de Recherche en Informatique -- Parisian Master of Research in Computer Science
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).
Join Lectures Here
Videos: Youtube channel