Organisation: ANR Project DUCAT

Location:

• April 26-27: Campus de Luminy, Centre International de Rencontres Mathématiques (CIRM), room A2.
• April 28: Campus Saint-Charles: Fédération de Recherche des Unités de Mathématiques de Marseille (FRUMAM), salle séminaire 3ème étage.

Scientific Program:

Wednesday April 26

• 14:00-15:00 Sergio Rajsbaum (UNAM): No extension-based proofs for Set-Agreement
• 15:30-16:30 Jérémie Chalopin (LIS): Mazurkiewicz's Algorithm
• 17:00-18:00 Pierre Fraigniaud (IRIF): Synchronous t-resilient Consensus in Arbitrary Graphs

Thursday April 27

• 09:30-10:30 Emmanuel Godard (LIS): Message adversary for oblivious k-set agreement
• 11:00-12:00 Ami Paz (LISN): Topological Characterization of Consensus Solvability in Directed Dynamic Networks

• 12:00-14:00: Lunch

• 14:00-15:00 Petr Kuznetsov (Telecom Paris): Affine Tasks
• 15:30-16:30 Sergio Rajsbaum (UNAM): Interval Linearizability
• 17:00-18:00 Carole Delporte (IRIF): On t-resilient immediate snapshots vs. k-set agreement

Friday April 28

• 09:30-10:30 Emmanuel Godard : Emmanuel Godard and Yannis Coutouly (LIS): Continuity and Separability Matters in Distributed Computing
• 11:00-12:00 Open problem session

• 12:00 End of Meeting