du au

La série de cours a présenté les ingrédients d’une théorie de l’algorithmique répartie. Les cours ont couvert les notions d’exactitude d’un algorithme réparti et ont revisité les notions de calculabilité, d’universalité et de complexité dans le contexte réparti. Les cours ont présenté les résultats les plus importants obtenus en algorithmique répartie depuis près d’un demi-siècle et ont souligné les nombreux problèmes encore ouverts. Les cours étaient pour la plupart suivis d’un séminaire spécialisé par un chercheur du domaine considéré comme le spécialiste international. L’année s’est terminée par un colloque réunissant les meilleurs chercheurs du domaine.

Livres utilisés dans le cours

  • Algorithms for Concurrent Systems

    Guerraoui, R. & Kuznetsov, P. (2018). Algorithms for Concurrent Systems. Amsterdam University Press.

  • Cachin, C., Guerraoui, R. & Rodrigues, L. (2011, 12 février). Introduction to Reliable and Secure Distributed Programming (2nd ed. 2011). Springer.

Programme