Université de Bordeaux
Cluster SysNumCluster of Excellence
Cluster of excellence

LaBRI "PhD Open" : "Verification of Distributed Algorithms" by Pr. Javier Esparza - April 18th and 19th 2019 - Amphithéâtre LaBRI Bât. A30

 18/04 - 19/04
Created Monday 15 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.



TOP