LaBRI "PhD Open" : "Verification of Distributed Algorithms" by Pr. Javier Esparza - April 18th and 19th 2019 - Amphithéâtre LaBRI Bât. A3018/04 - 19/04
"PhD Open" offers us the opportunity to attend the course:
"Verification of Distributed Algorithms"
Pr. Javier Esparza, Technische Universität München
April 18th and 19th 2019 - Amphithéâtre LaBRI Bât. A30
More details: https://nathanael-fijalkow.github.io/?page=phdopen
"PhD Open" Open lectures for PhD students in computer science, organized at LaBRI, is a project which aims at offering research level but introductory courses given by top researchers from all over the world. Its supported by the Momentum DeepSynth project.