Workshop ANR DESCARTES/ESTATE

in conjonction with Workshop  Complexité et Algorithmes (GT CoA/GDR CNRS IM)

Roscoff Apr. 1st–2nd, 2019

Detailed Program

(également disponible sur le site de Descartes)

Monday, April 1st, 2019
  • [14:00-15:40] Private meetings DESCARTES / ESTATE : Opening, discussions, and informations [Cyril Gavoille / Franck Petit]
  • [15:40-16:00] Coffee break
  • [16:15-16:45] Colette Johnen: Soyez Efficace, Rembobinez (Abstract)
  • [16:45-17:15] Sébastien Bouchard: Deterministic Treasure Hunt in the Plane with Angular Hints (Abstract)
  • [17:15-17:45] Anaïs Durand: Contention-related crash failures (Abstract)
Tuesday, April 2nd, 2019
  • [9:00-9:30] Laurent Feuilloley: Local verification of global proofs (Abstract)
  • [9:30-10:00] Lionel Rieg: Formal proofs on Mobile Robots Swarms (Abstract)
  • [10:00-10:40] Sergio Rajsbaum: Anonymous Shared-Memory Computability (Abstract)
  • [10:40-11:00] Coffee break
  • [11:15-11:45] Sébastien Bouchard: Byzantine Gathering in Polynomial Time (Abstract)
  • [11:45-12:15] Alessia Milani: On restricted-use objects and beyond (Abstract)
  • [12:15-14:00] Lunch
  • [14:00-14:30] Michel Raynal: Plus faible détecteur de défaillances pour l’exclusion mutuelle en mémoire partagée (Abstract)
  • [14:30-15:00] Stéphane Devismes: Acyclic Strategy for Silent Self-Stabilization in Spanning Forests (Abstract)
  • [15:00-15:40] Giovanni Farina: Byzantine Reliable Broadcast in Dynamic Networks  (Abstract)
  • [15:40-16:00] Coffee break
  • [16:15-16:45] Marjorie Bournat: Gracefully Degrading Gathering in Dynamic Rings (Abstract)
  • [16:45-17:15] Mickael Rabie: Decidability of distributed complexity of locally checkable problems on paths (Abstract)
  • [17:15-18:00] ANR DESCARTES / ESTATE: Business Meeting and Closing [Cyril Gavoille / Franck Petit]

 

©