Rétrospective sur le distribué et 61 ans d'Yves Métivier!

Ce 27 novembre 2018, au LaBRI, nous organisons une journée rétrospective sur quelques thèmes de l'algorithmique distribuée "à la bordelaise". Les sujets abordés iront des monoïdes de commutation aux réétiquetages de graphes (calculs locaux), en passant par les revêtements et les algorithmes probabilistes, avec une ouverture sur les assistants de preuves.

Nous fêterons à cette occasion les 61 ans d'Yves Métivier, pionnier de l'algorithmique distribuée à Bordeaux et qui a joué un rôle important dans son développement au-delà.

Programme

Télécharger le programme détaillé (pdf) programme.pdf
8h40 Café de bienvenue
9h00 Arnaud Casteigts Présentation de la journée
9h10 Robert Cori Un parcours aléatoire des travaux d’Yves
9h50 Volker Diekert Solutions sets of trace equations are EDT0L-languages
10h50 Emmanuel Godard Approche algébrique pour la calculabilité distribuée
11h30 Bernadette Charron-Bost   Les algorithmes naturels de consensus
13h40 Joffroy Beauquier Mariage stable et complexité de communication
14h20 Jérémie Chalopin Exploration de graphes avec des jumelles
15h00 (remise de petits cadeaux) (et petit discours?)
15h30 Akka Zemmari Que peut faire le hasard, quand on est dans le brouillard ?
16h10 Dominique Mery Vérification d'algorithmes répartis par construction 


Ces exposés, complémentaires, feront écho à différents sujets qu'Yves a abordés ou pour lesquels il a eu un intérêt particulier.

Comité d'organisation

Liste préliminaire de participant(e)s