Calendar

6 Sun 7 Mon 8 Tue 9 Wed 10 Thu 11 Fri 12 Sat
All-day
12:00 AM
1:00 AM
2:00 AM
3:00 AM
4:00 AM
5:00 AM
6:00 AM
7:00 AM
8:00 AM
9:00 AM
10:00 AM
11:00 AM
12:00 PM
1:00 PM
2:00 PM
3:00 PM
4:00 PM
5:00 PM
6:00 PM
7:00 PM
8:00 PM
9:00 PM
10:00 PM
11:00 PM
5:00 PM Reception
Reception
Nov 7 @ 5:00 PM – 7:00 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
7:00 PM Welcome Buffet Dinner
Welcome Buffet Dinner
Nov 7 @ 7:00 PM – 9:00 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
8:30 AM Registration
Registration
Nov 8 @ 8:30 AM – 9:00 AM
Atrium of Amphitheater Charles Mérieux, Place de l’École
9:00 AM Opening
Opening
Nov 8 @ 9:00 AM – 9:10 AM
Amphitheater Charles Mérieux, Place de l’École
9:10 AM Keynote 1: Joseph Halpern
Keynote 1: Joseph Halpern
Nov 8 @ 9:10 AM – 10:10 AM
Keynote 1: Joseph Halpern @ ENS Lyon - Amphitheater Charles Mérieux | Lyon | Auvergne-Rhône-Alpes | France
Amphitheater Charles Mérieux, Place de l’École   Actual Causality: A Survey
10:10 AM Coffee Break
Coffee Break
Nov 8 @ 10:10 AM – 10:40 AM
Atrium of Amphitheater Charles Mérieux, Place de l’École
10:40 AM Session 1: Autonomous Robots
Session 1: Autonomous Robots
Nov 8 @ 10:40 AM – 12:20 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Koichi Wada Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space. Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita Synchronous Gathering without Multiplicity Detection: A Certified … Continue reading Session 1: Autonomous Robots
12:20 PM Lunch
Lunch
Nov 8 @ 12:20 PM – 2:00 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
2:00 PM Session 2: Stabilization
Session 2: Stabilization
Nov 8 @ 2:00 PM – 3:40 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Sebastien Tixeuil On the power of oracle Omega? for self-stabilizing leader election in population protocols. Joffroy Beauquier, Blanchard Peva, Janna Burman, and Oksana Denysiuk Snap-Stabilizing Tasks in Anonymous … Continue reading Session 2: Stabilization
3:40 PM Coffee Break
Coffee Break
Nov 8 @ 3:40 PM – 4:10 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
4:10 PM Session 3: Fault-Tolerance
Session 3: Fault-Tolerance
Nov 8 @ 4:10 PM – 5:40 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Sara Bouchenak Packet Efficient Implementation of the Omega Failure Detector. Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, and Sebastien Tixeuil Perfect Failure Detection with Very Few Bits. Pierre Fraigniaud, … Continue reading Session 3: Fault-Tolerance
6:00 PM Business Meeting
Business Meeting
Nov 8 @ 6:00 PM – 7:00 PM
Amphitheater Charles Mérieux, Place de l’École
9:00 AM Session 4: Networking
Session 4: Networking
Nov 9 @ 9:00 AM – 10:30 AM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Maria Potop-Butucaru On-Line Path Computation and Function Placement in SDNs. Guy Even, Moti Medina, and Boaz Patt-Shamir DecTDMA: A Decentralized-TDMA with Link Quality Estimation for WSNs. Olaf Landsiedel, … Continue reading Session 4: Networking
10:30 AM Coffee Break
Coffee Break
Nov 9 @ 10:30 AM – 11:00 AM
Atrium of Amphitheater Charles Mérieux, Place de l’École
11:00 AM Session 5: Foundations
Session 5: Foundations
Nov 9 @ 11:00 AM – 12:50 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Joffroy Beauquier Automatic Addition of Conflicting Properties. Mohammad Roohitavaf and Sandeep Kulkarni Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model. Nayuta Yanagisawa Making Local Algorithms Wait-free: The … Continue reading Session 5: Foundations
12:50 PM Lunch
Lunch
Nov 9 @ 12:50 PM – 2:30 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
2:30 PM Keynote 2: Maurice Herlihy
Keynote 2: Maurice Herlihy
Nov 9 @ 2:30 PM – 3:30 PM
Keynote 2: Maurice Herlihy @ ENS Lyon - Amphitheater Charles Mérieux | Lyon | Auvergne-Rhône-Alpes | France
Amphitheater Charles Mérieux, Place de l’École Distributed Computing and Blockchains Cryptocurrencies such as Bitcoin are in the news, including lurid stories of drug trafficking, extortion, massive thefts, mysterious identities, and epic technical failures. Nevertheless, such … Continue reading Keynote 2: Maurice Herlihy
3:30 PM Coffee Break
Coffee Break
Nov 9 @ 3:30 PM – 4:00 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
4:00 PM Visit of Lyon’s traboules
Visit of Lyon’s traboules
Nov 9 @ 4:00 PM – 6:30 PM
Visit of Lyon's traboules @ Metro stop "Vieux Lyon" | Lyon | Auvergne-Rhône-Alpes | France
Visit of the famous “traboules” of Lyon. Meeting Points: 3:30pm in front of Amphitheater Charles Mérieux, Place de l’École We will go together to Metro stop “Vieux Lyon” where the visit will begin Or if … Continue reading Visit of Lyon’s traboules
6:30 PM Transfer to Social Event
Transfer to Social Event
Nov 9 @ 6:30 PM – 7:00 PM
Transfer to Social Event
Transfer from ENS Lyon to Musée des Confluences. Group departure at 6:30pm. – By foot (approx. 1km) – Or by tramway: Take Tram T1 at « ENS de Lyon » towards « Perrache », get off at « Musée des … Continue reading Transfer to Social Event
7:00 PM Social Event
Social Event
Nov 9 @ 7:00 PM – 11:00 PM
Social Event @ Musée des Confluences | Lyon | Auvergne-Rhône-Alpes | France
Musée des Confluences, 86 Quai Perrache, 69002 Lyon Don’t forget to bring your SSS badge! Group will leave SSS at 6:30pm. – By foot (approx. 1km) – Or by tramway: Take Tram T1 at « ENS de Lyon » … Continue reading Social Event
9:00 AM Keynote 3: Hagit Attiya
Keynote 3: Hagit Attiya
Nov 10 @ 9:00 AM – 10:00 AM
Keynote 3: Hagit Attiya @ ENS Lyon - Amphitheater Charles Mérieux | Lyon | Auvergne-Rhône-Alpes | France
Amphitheater Charles Mérieux, Place de l’École Specification and complexity of replicated objects Modern replicated data stores aim to provide high availability, by immediately responding to client requests, often by implementing objects that expose concurrency and do … Continue reading Keynote 3: Hagit Attiya
10:00 AM Coffee Break
Coffee Break
Nov 10 @ 10:00 AM – 10:30 AM
Atrium of Amphitheater Charles Mérieux, Place de l’École
10:30 AM Session 6: Stabilization and Byzantine Agents
Session 6: Stabilization and Byzantine Agents
Nov 10 @ 10:30 AM – 12:00 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Sandeep Kulkarni Self-Stabilizing Byzantine-Tolerant Distributed Replicated State Machine. Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi Lahlou, Marc Lacoste, Alex Palesandro, Reuven Yagel, and Leonid Yankulin Self-stabilizing Byzantine … Continue reading Session 6: Stabilization and Byzantine Agents
12:00 PM Lunch
Lunch
Nov 10 @ 12:00 PM – 1:30 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
1:30 PM Session 7: Graph Algorithms
Session 7: Graph Algorithms
Nov 10 @ 1:30 PM – 3:00 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Janna Burman Self-stabilizing Metric Graphs. Jonas Lefèvre, Robert Gmyr, and Christian Scheideler Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers. Takahiro Yakami, … Continue reading Session 7: Graph Algorithms
3:00 PM Coffee Break
Coffee Break
Nov 10 @ 3:00 PM – 3:30 PM
Atrium of Amphitheater Charles Mérieux, Place de l’École
3:30 PM Session 8: Stabilization and Multi-Agent Networks
Session 8: Stabilization and Multi-Agent Networks
Nov 10 @ 3:30 PM – 5:20 PM
Amphitheater Charles Mérieux, Place de l’École Session Chair: Eddy Caron Self-Stabilizing Robots in Highly Dynamic Environments. Marjorie Bournat, Ajoy Datta, and Swan Dubois Near-Optimal Self-Stabilizing Counting and Firing Squads. Christoph Lenzen and Joel Rybicki Flocking with … Continue reading Session 8: Stabilization and Multi-Agent Networks
5:20 PM Closing
Closing
Nov 10 @ 5:20 PM – 5:30 PM
Amphitheater Charles Mérieux, Place de l’École