DUCAT and SkyData week

Table des matières

Programme

15h00-15h30 Accueil
15h30-16h15 Corentin Travers: Non-Negotiating Distributed Computing
16h15-17h00 Petr Kuznetsov: On the Bit Complexity of Iterated Memory
17h00-17h45 Corentin Travers: The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers

09h00-09h45 Yannis Coutouly A simple computability theorem for colorless tasks under general adversary of the IIS model
09h45-10h30 Sergio Rajsbaum: A computability theorem for general 3-process tasks
10h30-11h00 Pause
11h00-11h45 Minh Hang Nguyen: Consensus and set agreement in the synchronous t-resilient model for arbitrary graphs
11h45-12h30 Jérémie Chalopin: Boundary rigidity of finite CAT(0) cube complexes
12h30-14h00 Déjeuner
14h00-14h45 Pierre Fraigniaud: Distributed Model Checking and Certification
14h45-15h30 Maël Luce: Even-Cycle Detection in the Randomized and Quantum CONGEST Model
15h30-16h00 Pause
16h00-16h45 Mikaël Rabie: Introduction to the SLEEPING model
16h45-17h30 Avinandan Das: Semi-Streaming Algorithms for Graph Property Certification

Time	Titre	Speaker	ANR
9:00 – 9:45	DUCAT Overview	Pierre Fraigniaud
9:50 – 10:35	SkyData Overview & Modélisation d’un Système SkyData	Eddy Caron & Elise Jeanneau

10:45 – 11:10	Pause

Time	Titre	Speaker
11:10 – 11:30	Some new results with k-set agreement	Mouna Safir
11:35 – 11:55	Optimal Memory Requirement for Self-Stabilizing Token Circulation.	Gabriel Le Bouder
12:00 – 12:20	Deterministic Leader Election for Stationary Programmable Matter with Common Direction	Maria Kokkou

Time	Titre	Speaker
14:00 – 14:20	Description d’executions distribués sous certains ordres partielles	Cameron Calk
14:25 – 14:45	Pour être César, il faut que tous les chemins viennent de la Domus Augustana	Geoffrey Defalque (UPJV)
14:50 – 15:10	Non-Negotiating Distributed Computing	Corentin Travers
15:15 – 15:35	Consensus : mieux vaut tôt que jamais	Anaïs Durand (UCA)

15:35 – 16:30	Pause

Time	Titre	Speaker
16:30 – 16:50	When Should You Wait Before Updating?: Toward a Robustness Refinement	Swan Dubois
16:55 – 17:15	From Bezout’s Identity to Space-Optimal Election in Anonymous Memory Systems	Damien Imbs
17:20 – 17:45	SkyData prototype and presentation of migration problem	Lucien Ngale (ENS de Lyon) / Maxime Just (ENS de Lyon)

Time	Titre
14:00 – 14:10	Mise en place des ateliers
14:10 – 17:00	Atelier 1: SkyData et Auto-stabilisation
14:10 – 17:00	Atelier 2: Algorithmes pour SkyData (Migrations, Réplications, etc.)
14:10 – 17:00	Atelier 3: SkyData et Green-IT

Time	Titre
09:00 – 11:00	Atelier 1: SkyData et Auto-stabilisation
09:00 – 11:00	Atelier 2: Algorithmes pour SkyData (Migrations, Réplications, etc.)
09:00 – 11:00	Atelier 3: SkyData et Green-IT