- Keynotes, awards and highlights
- DISC program as iCalendar files: Tuesday Wednesday Thursday
- Workshop program as iCalendar files: Monday Friday
Monday, October 27
| 09:00 – 09:30 | Registration |
| 09:30 – 10:30 | ADGA / FRIDA |
| 10:30 – 11:00 | Coffee break |
| 11:00 – 13:00 | ADGA / FRIDA |
| 13:00 – 14:30 | Lunch |
| 14:30 – 16:30 | ADGA / FRIDA |
| 16:30 – 17:00 | Coffee break |
| 17:00 – 18:00 | ADGA / FRIDA |
| 18:00 – 19:30 | Reception |
Tuesday, October 28
| 08:15 – 08:45 | Registration |
| 08:45 – 10:00 | Session 1: Concurrent data structures Chair: Faith Ellen |
| PIPQ: Strict Insert-Optimized Concurrent Priority Queue Olivia Grimes, Ahmed Hassan, Panagiota Fatourou, and Roberto Palmieri | |
| TEE is not a Healer: Rollback-Resistant Reliable Storage Sadegh Keshavarzi, Gregory Chockler, and Alexey Gotsman | |
| LMQ-Sketch: Lagom Multi-Query Sketch for High-Rate Online Analytics Martin Hilgendorf and Marina Papatriantafilou | |
| Brief Announcement: Highly Dynamic and Fully Distributed Data Structures John Augustine, Antonio Cruciani, and Iqra Altaf Gillani | |
| Brief Announcement: Concurrent Double-Ended Priority Queues Panagiota Fatourou, Eric Ruppert, and Ioannis Xiradakis | |
| 10:00 – 11:00 | Keynote 1: François Le Gall Recent developments in quantum distributed computing Chair: Alkida Balliu |
| 11:00 – 11:25 | Coffee break |
| 11:25 – 12:30 | Session 2: Highlighted presentations in mobility and communication Chair: Boaz Patt-Shamir |
| Team Formation and Applications Yuval Emek, Shay Kutten, Ido Rafael, and Gadi Taubenfeld | |
| Approach of Agents with Restricted Fuel Tanks Adam Ganczorz, Tomasz Jurdzinski, Andrzej Pelc, and Grzegorz Stachowiak | |
| Two for One, One for All: Deterministic LDC-based Robust Computation in Congested Clique Keren Censor-Hillel, Orr Fischer, Ran Gelles, and Pedro Soto | |
| 12:30 – 13:45 | Lunch break |
| 13:45 – 15:40 | Session 3: Distributed graph algorithms Chairs: Keren Censor-Hillel and Kyungjin Cho |
| Towards Fully Automatic Distributed Lower Bounds Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti, and Joonatan Saarhelo | |
| New Distributed Interactive Proofs for Planarity: A Matter of Left and Right Yuval Gil and Merav Parter | |
| The Complexity Landscape of Dynamic Distributed Subgraph Finding Yi-Jun Chang, Lyuting Chen, Yanyu Chen, Gopinath Mishra, and Mingyang Yang | |
| 14:40 – 14:45 | Short break during the session |
| Model-Agnostic Approximation of Constrained Forest Problems Corinna Coupette, Alipasha Montaseri, and Christoph Lenzen | |
| New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs Alkida Balliu, Corinna Coupette, Antonio Cruciani, Francesco d’Amore, Massimo Equi, Henrik Lievonen, Augusto Modanese, Dennis Olivetti, and Jukka Suomela | |
| Brief Announcement: Distributed Sparsest Cut via Eigenvalue Estimation Yannic Maus and Tijn de Vos | |
| Brief Announcement: Faster CONGEST Approximation Algorithms for Maximum Weighted Independent Set in Sparse Graphs Salwa Faour and Fabian Kuhn | |
| 15:40 – 16:00 | Coffee break |
| 16:00 – 17:45 | Session 4: Blockchain foundations Chair: Alexey Gotsman and Michelle Yeo |
| Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection Krishnendu Chatterjee, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle Yeo | |
| On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding Ramesh Adhikari, Costas Busch, and Miroslav Popovic | |
| Hierarchical Consensus: Scalability through Optimism and Weak Liveness Pedro Antonino, Antoine Durand, and A. W. Roscoe | |
| 16:50 – 16:55 | Short break during the session |
| DAG it off: Latency Prefers No Common Coins Ignacio Amores-Sesar, Viktor Grøndal, Adam Holmgård, and Mads Ottendal | |
| Brief Announcement: DAGs for the Masses Michael Anoprenko, Andrei Tonkikh, Alexander Spiegelman, and Petr Kuznetsov | |
| Brief Announcement: Carry the Tail in Consensus Protocols Suyash Gupta, Dakai Kang, Dahlia Malkhi, and Mohammad Sadoghi | |
| Brief Announcement: Weaker Assumptions for Asymmetric Trust Christian Cachin and Juan Villacis | |
| 18:00 – 19:30 | Business meeting |
Wednesday, October 29
| 08:45 – 10:00 | Session 5: Shared-memory and parallelism Chair: Marina Papatriantafilou |
| Auditable Shared Objects: From Registers to Synchronization Primitives Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, and Corentin Travers | |
| Asynchronous Latency and Fast Atomic Snapshot João Paulo Bezerra, Luciano Freitas, Petr Kuznetsov, and Matthieu Rambaud | |
| An Almost-Logarithmic Lower Bound for Leader Election with Bounded Value Contention Dan Alistarh, Faith Ellen, and Alexander Fedorov | |
| Brief Announcement: Time, Fences and the Ordering of Events in TSO Raïssa Nataf and Yoram Moses | |
| Brief Announcement: Incrementally Verifiable Distributed Computation Eden Aldema Tshuva and Rotem Oshman | |
| 10:00 – 11:00 | Keynote 2 (presented by 2025 Dijkstra Prize winner): Moni Naor What Can Be Computed and Verified Locally: A Three Decade Perspective Chair: Fabian Kuhn |
| 11:00 – 11:25 | Coffee break |
| 11:25 – 12:30 | Session 6: Best (student) paper awards Chair: Dariusz Kowalski |
| Complexity landscape for local certification (Best Paper Award) Nicolas Bousquet, Laurent Feuilloley, and Sébastien Zeitoun | |
| Content-Oblivious Leader Election in 2-Edge-Connected Networks (Best Student Paper co-Award) Jérémie Chalopin, Yi-Jun Chang, Lyuting Chen, Giuseppe A. Di Luna, and Haoran Zhou | |
| pod: An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer (Best Student Paper co-Award) Orestis Alpos, Bernardo David, Jakov Mitrovski, Odysseas Sofikitis, and Dionysis Zindros | |
| 12:30 – 13:45 | Lunch break |
| 13:45 – 14:50 | Session 7: Highlighted presentations in fault-tolerance and shared-memory Chair: Costas Busch |
| Validity in Network-Agnostic Byzantine Agreement Andrei Constantinescu, Marc Dufay, Diana Ghinea, and Roger Wattenhofer | |
| Distributed Download from an External Data Source in Byzantine Majority Settings John Augustine, Soumyottam Chatterjee, Valerie King, Manish Kumar, Shachar Meir, and David Peleg | |
| Strong Linearizability without Compare&Swap: The Case of Bags Faith Ellen and Gal Sela | |
| 14:50 – 15:15 | Coffee break |
| 15:15 – 16:40 | Session 8: Mobile agents Chair: Tomasz Jurdzinski |
| Natural Calamities Demand More Rescuers: Exploring Connectivity Time Dynamic Graphs Ashish Saxena and Kaushik Mondal | |
| On the Shape Containment Problem within the Amoebot Model with Reconfigurable Circuits Matthias Artmann, Andreas Padalkin, and Christian Scheideler | |
| Perpetual exploration in anonymous synchronous networks with a Byzantine black hole Adri Bhattacharya, Pritam Goswami, Evangelos Bampas, and Partha Sarathi Mandal | |
| Brief Announcement: Universal Dancing by Luminous Robots under Sequential Schedulers Caterina Feletti, Paola Flocchini, Debasish Pattanayak, Giuseppe Prencipe, and Nicola Santoro | |
| Brief Announcement: The Virtue of Self-Consistency Fabian Frei and Koichi Wada | |
| Brief Announcement: Optimal Dispersion Under Asynchrony Debasish Pattanayak, Ajay D. Kshemkalyani, Manish Kumar, Anisur Rahaman Molla, and Gokarna Sharma | |
| 16:40 – 16:50 | Short break |
| 16:50 – 17:35 | Session 9: Fault-tolerance and synchronization Chair: Petr Kuznetsov |
| ABEL: Perfect Asynchronous Byzantine Extension from List-Decoding Ittai Abraham and Gilad Asharov | |
| Brief Announcement: Distributed Download from an External Data Source in Asynchronous Faulty Settings John Augustine, Soumyottam Chatterjee, Valerie King, Manish Kumar, Shachar Meir, and David Peleg | |
| Brief Announcement: Synchronization in Anonymous Networks Under Arbitrary Dynamics Rida Bazzi, Anya Chaturvedi, Andréa W. Richa, and Peter Vargas | |
| Brief Announcement: Non-Uniform Content-Oblivious Leader Election on Oriented Asynchronous Rings Jérémie Chalopin, Yi-Jun Chang, Lyuting Chen, Giuseppe A. Di Luna, and Haoran Zhou | |
| 19:00 – 22:00 | Conference banquet Alter Krug. Details here. |
Thursday, October 30
| 08:45 – 10:00 | Session 10: Nature-inspired computation and dynamic networks Chair: Joel Rybicki |
| Robust predicate and function computation in continuous chemical reaction networks Kim Calabrese, David Doty, and Mina Latifi | |
| On the h-Majority Dynamics with Many Opinions Francesco d’Amore, Niccolò D’Archivio, George Giakkoupis, and Emanuele Natale | |
| Towards Constant Time Multi-Call Rumor Spreading on Small-Set Expanders Emilio Cruciani, Sebastian Forster, and Tijn de Vos | |
| Brief Announcement: Maintaining a Bounded Degree Expander in Dynamic Peer-to-Peer Networks Antonio Cruciani | |
| Brief Announcement: Congested Clique Counting for Local Gibbs Distributions Joshua Z. Sobel | |
| 10:00 – 11:00 | Keynote 3: Ittai Abraham Open Questions and Future Challenges in Fault Tolerant Distributed Computing Chair: Hagit Attiya |
| 11:00 – 11:25 | Coffee break |
| 11:25 – 12:30 | Session 11: Highlighted presentations in distributed graph algorithms Chair: Sebastian Brandt |
| Towards Optimal Distributed Edge Coloring with Fewer Colors Manuel Jakob, Yannic Maus, and Florian Schager | |
| On the Randomized Locality of Matching Problems in Regular Graphs Seri Khoury, Manish Purohit, Aaron Schild, and Joshua R. Wang | |
| Distributed Computation with Local Advice Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Krzysztof Nowicki, Dennis Olivetti, Eva Rotenberg, and Jukka Suomela | |
| 12:30 – 13:45 | Lunch break |
| 13:45 – 15:00 | Session 12: Fault-tolerance and consensus Chair: Gregory Chockler |
| Byzantine Consensus in the Random Asynchronous Model George Danezis, Jovan Komatovic, Lefteris Kokoris-Kogias, Alberto Sonnino, and Igor Zablotchi | |
| Lower Bounds for k-Set Agreement in Fault-Prone Networks Pierre Fraigniaud, Minh Hang Nguyen, Ami Paz, Ulrich Schmid, and Hugo Rincon-Galeana | |
| Kudzu: Fast and Simple High-Throughput BFT Victor Shoup, Jakub Sliwinski, and Yann Vonlanthen | |
| Weight reduction in distributed protocols: new algorithms and analysis Anatoliy Zinovyev | |
| 15:00 – 15:20 | Coffee break |
| 15:20 – 17:00 | Session 13: Communication Chair: Yuval Emek |
| Deterministic Synchronous Self-Stabilizing BFS Construction with Constant Space Complexity Lélia Blin, Franck Petit, and Sébastien Tixeuil | |
| Amnesiac Flooding: Easy to Break, Hard to Escape Henry Austin, Maximillien Gadouleau, George B. Mertzios, and Amitabh Trehan | |
| Coordination Through Stochastic Channels Pierre Fraigniaud, Boaz Patt-Shamir, and Sergio Rajsbaum | |
| Compact routing schemes in undirected and directed graphs Avi Kadria and Liam Roditty | |
| Energy-Efficient Maximal Independent Sets in Radio Networks Dominick Banasik, Varsha Dani, Fabien Dufoulon, Aayush Gupta, Thomas P. Hayes, and Gopal Pandurangan | |
| Brief Announcement: Optimal-Length Labeling Schemes for Fast Deterministic Communication in Radio Networks Adam Ganczorz, Tomasz Jurdzinski, and Andrzej Pelc | |
| 17:00 – 17:05 | Short break |
| 17:05- 17:45 | Session 14: Fault-tolerance and consensus continued Chair: Darya Melnyk |
| Brief Announcement: From Few to Many Faults: Adaptive Byzantine Agreement with Optimal Communication Andrei Constantinescu, Marc Dufay, Anton Paramonov, and Roger Wattenhofer | |
| Brief Announcement: Asynchronous Approximate Agreement with Quadratic Communication Mose Mizrahi Erbes and Roger Wattenhofer | |
| Brief Announcement: Single-Round Broadcast: Impossibility, Feasibility, and More Zhelei Zhou, Bingsheng Zhang, Hong-Sheng Zhou, and Kui Ren | |
| Brief Announcement: Communication Patterns for Optimal Resilience Hagit Attiya, Itay Flam, and Jennifer L. Welch | |
| Brief Announcement: Proximal Byzantine Agreement: Improved accuracy for fault-tolerant replicated datastreams Roy Shadmon and Owen Arden | |