=== Working group meeting, April 26-28, 2023 ===

** Organisation: ** ANR Project [[https://www.irif.fr/anr-ducat/|DUCAT]]

** Location: ** 

   * April 26-27: Campus de Luminy, Centre International de Rencontres Mathématiques ([[https://www.cirm-math.fr/index.html|CIRM]]), room A2. 
   * April 28: Campus Saint-Charles: Fédération de Recherche des Unités de Mathématiques de Marseille ([[http://frumam.cnrs-mrs.fr/wp-content/uploads/2019/10/planFrumam.jpg|FRUMAM]]), salle séminaire 3ème étage.

** Scientific Program: ** 

** Wednesday April 26 ** 

   * 14:00-15:00 [[https://www.matem.unam.mx/~rajsbaum/|Sergio Rajsbaum]] (UNAM): //No extension-based proofs for Set-Agreement//
   * 15:30-16:30 [[https://pageperso.lis-lab.fr/jeremie.chalopin/index.html|Jérémie Chalopin]] (LIS): //Mazurkiewicz's Algorithm//
   * 17:00-18:00 [[https://www.irif.fr/users/pierref/|Pierre Fraigniaud]] (IRIF): //Synchronous t-resilient Consensus in Arbitrary Graphs//

** Thursday April 27 ** 

   * 09:30-10:30 [[https://pageperso.lis-lab.fr/emmanuel.godard/index.html|Emmanuel Godard]] (LIS): //Message adversary for oblivious k-set agreement//
   * 11:00-12:00 [[https://sites.google.com/view/amipaz/|Ami Paz]] (LISN): //Topological Characterization of Consensus Solvability in Directed Dynamic Networks//

   * 12:00-14:00: Lunch

   * 14:00-15:00 [[https://perso.telecom-paristech.fr/kuznetso/|Petr Kuznetsov]] (Telecom Paris): //Affine Tasks//
   * 15:30-16:30 [[https://www.matem.unam.mx/~rajsbaum/|Sergio Rajsbaum]] (UNAM): // Interval Linearizability//
   * 17:00-18:00 [[https://www.irif.fr/~cd/|Carole Delporte]] (IRIF): //On t-resilient immediate snapshots vs. k-set agreement//

** Friday April 28 ** 

   * 09:30-10:30 Emmanuel Godard : [[https://pageperso.lis-lab.fr/emmanuel.godard/index.html|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