Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Résumé

Ce cours a motivé l’importance du fameux problème du consensus, avant d’expliquer en quoi ce concept est central au numérique aujourd’hui. Le cours a ensuite présenté le théorème d’impossibilité du consensus ainsi que sa démonstration dans le cas, relativement simple, de la mémoire partagée. La notion de bivalence a été introduite, tout comme le concept fondamental en algorithmique répartie d’adversaire. Plusieurs corollaires de l’impossibilité du consensus ont ensuite été présentés. Le cours a souligné aussi le lien avec la topologie algébrique pour introduire le séminaire invité sur le consensus ensembliste et la topologie algébrique.

Voici les principaux thèmes abordés pendant ce cours :

  • « Mise en œuvre d’un compteur fort » ;
  • « Le théorème d’impossibilité du consensus » ;
  • « Adversaire, valence et exécution » ;
  • « Corollaires de l’impossibilité » ;
  • « Consensus ensembliste ».