LaBRI "PhD Open" : "Verification of Distributed Algorithms" by Pr. Javier Esparza - April 18th and 19th 2019 - Amphithéâtre LaBRI Bât. A30
from Thursday 18 April 2019 to Friday 19 April 2019"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.
PhD students, post-docs, engineers and permanent researchers are welcome.
Contacts: Nathanaël Fijalkow and Joanna Ochremiak.