Our site uses cookies necessary for its proper functioning. To improve your experience, other cookies may be used: you can choose to disable them. This can be changed at any time via the Cookies link at the bottom of the page.


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

from Thursday 18 April 2019 to Friday 19 April 2019
Last update 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.

Picture in categories