Keynote Talk I -- Distributed Coordination Algorithms for Mobile Robot Swarms: New Directions and Challenges -- Session I A: Theory -- Labeling Schemes for Tree Representation -- Single-Bit Messages Are Insufficient in the Presence of Duplication -- Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by…