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
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: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
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
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
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
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
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: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
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: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