Eli Gafni (UCLA), Giuliano Losa (Stellar Development Foundation), Michel Raynal (Univ. Rennes, Inria, CNRS, IRISA), Gadi Taubenfeld (Reichman University)
How exhaustive does an extension-based proof need to be?
Leqi Zhu (University of Manitoba), Faith Ellen (University of Toronto), Shihao Liu (University of Toronto), Eli Gafni (University of California, Los Angeles), Rati Gelashvili (Aptos Labs)
Coffee break
Session 3 (chair: Etienne Rivière)
BlindPerm: Efficient MEV Mitigation with an Encrypted Mempool and Permutation
Alireza Kavousi (University College London), Duc V. Le (Visa Research), Philipp Jovanovic (University College London), George Danezis (Mysten Labs, University College London)
Foundations of Fiat-Denominated Loans Collateralized by Cryptocurrencies
Pavel Hubáček (Charles University, Faculty of Mathematics and Physics and Institute of Mathematics of the Czech Academy of Sciences), Jan Václavek (Firefish Labs), Michelle Yeo (National University of Singapore)
Optimal-Length Labeling Schemes for Fast Deterministic Communication in Radio Networks
Adam Ganczorz (University of Wroclaw), Tomasz Jurdzinski (University of Wroclaw), Andrzej Pelc (Departement d'informatique, Universite du Quebec en Outaouais)
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
Panoramic Restaurant with city view at Hotel Unirea
Registration
Keynote: Yvonne-Anne Pignolet The DFINITY Foundation
From Principles to Practice: Algorithmic Insights from Building the Internet Computer
(chair: Sara Tucci-Piergiovanni)
Coffee break
Session 4 (chair: Michel Raynal)
Mobile Byzantine Agreement in a Trusted World
Bo Pan (Sorbonne Université, LIP6, Paris, France), Maria Potop-Butucaru (Sorbonne Université, LIP6, Paris, France)
Time-Optimal and Energy-Efficient Deterministic Consensus
Shachar Meir (The Weizmann Institute of Science), Hugo Mirault (Augusta University), David Peleg (The Weizmann Institute of Science), Peter Robinson (Augusta University)
Distributed (Δ+1)-Coloring in Graphs of Bounded Neighborhood Independence
Marc Fuchs (University of Freiburg), Fabian Kuhn (University of Freiburg)
Fast Re-Routing in Networks: On the Complexity of Perfect Resilience
Matthias Bentert (TU Berlin), Esra Ceylan (TU Berlin), Valentin Huebner (ISTA Austria), Stefan Schmid (TU Berlin), Jiri Srba (Aalborg University)
Lunch
Casa Universitarilor building at about 200m from main conference hall
Session 5 (chair: Michael Spear)
Weaker Assumptions for Asymmetric Trust
Ignacio Amores-Sesar (Aarhus Univeristy), Christian Cachin (University of Bern), Juan Villacis (University of Bern)
Asynchronous Approximate Agreement with Quadratic Communication
Mose Mizrahi Erbes (ETH Zurich), Roger Wattenhofer (ETH Zurich)
Demand-Aware Small-World Networks on Clustered Demands
Chen Avin (Ben-Gurion University of the Negev), Robert Elsässer (University of Salzburg), Aleksander Figiel (TU Berlin), Darya Melnyk (TU Berlin), Stefan Schmid (TU Berlin)
Recolorable Graph Exploration by an Oblivious Agent with Fewer Colors
Shota Takahashi (Hosei University), Haruki Kanaya (Nara Institute of Science and Technology), Shoma Hiraoka (Osaka University), Ryota Eguchi (Nara Institute of Science and Technology), Yuichi Sudo (Hosei University)
Coffee break
Session 6 (chair: Maria Potop-Butucaru)
Fast Rerouting Against Dynamic Failures: 2-Resilience via Ear-Decomposition and Planarity
Wenkai Dai, Klaus-Tycho Foerster (TU Dortmund), Stefan Schmid (TU Berlin)
Recoverable Lock-Free Locks
Hagit Attiya (Technion), Panagiota Fatourou (University of Crete, CSD and FORTH, ICS), Eleftherios Kosmas (Hellenic Mediterranean University), Yuanhao Wei (University of British Columbia)
On the Complexity of Distributed Edge Coloring and Orientation Problems
Sebastian Brandt (CISPA Helmholtz Center for Information Security), Fabian Kuhn (University of Freiburg), Zahra Parsaeian (University of Freiburg)
Resolving Conflicts with Grace: Dynamically Concurrent Universality
Petr Kuznetsov (LTCI, Telecom Paris, Institut Polytechnique de Paris), Nathan Schrodt (Technische Universität Darmstadt)
Guided tour
Tour will start and end in Piata Unirii (Union Square)
Banquet
Grand Hotel Traian - located in Piata Unirii (Union Square), just across Hotel Unirea
Registration
Keynote: Giuseppe Antonio di Luna University of Rome - Sapienza
Computing with Content-Oblivious Messages
(chair: Michael Spear)
Coffee break
Session 7 (chair: Stefan Schmid)
Computing in a Faulty Congested Clique
Keren Censor-Hillel (Technion), Pedro Soto (Virginia Tech)
Distributed Download from an External Data Source in Asynchronous Faulty Settings
John Augustine (Indian Institute of Technology Madras), Soumyottam Chatterjee (CISPA), Valerie King (University of Victoria), Manish Kumar (Indian Institute of Technology Madras), Shachar Meir (The Weizmann Institute of Science), David Peleg (The Weizmann Institute of Science)
Recognizing Hereditary Properties in the Presence of Byzantine Nodes
David Cifuentes-Núñez (Universidad de Chile), Pedro Montealegre (Universidad Adolfo Ibáñez), Ivan Rapaport (Universidad de Chile)
Uniform deployment of mobile robots in complete bipartite graphs
Masahiro Shibata (Kyushu Institute of Technology), Naoki Kitamura (Osaka University), Ryota Eguchi (NAIST), Yuichi Sudo (Hosei University), Junya Nakamura (Toyohashi University of Technology), Yonghwan Kim (Nagoya Institute of Technology), Yoshiaki Katayama (Nagoya Institute of Technology), Toshimitsu Masuzawa (Notre Dame Seishin University), Quentin Bramas (University of Strasbourg), Sebastien Tixeuil (Sorbonne Université)
Lunch
Casa Universitarilor building at about 200m from main conference hall
Session 8 (chair: Xavier Défago)
Formalizing Rollback Netcodes for Robust and Real-Time Client-Server Architectures
David Bromberg (Univ Rennes, Inria, CNRS, IRISA), Jérémie Decouchant (TU Delft, The Netherlands), Manon Sourisseau (Univ Rennes, Inria, CNRS, IRISA), François Taïani (Univ Rennes, Inria, CNRS, IRISA)
Orientation does not help with 3-coloring a grid in online-LOCAL
Where to Place your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers
Andrei Arusoaie (Alexandru Ioan Cuza University of Iaşi), Claudiu-Nicu Bărbieru (Alexandru Ioan Cuza University of Iaşi), Oana-Otilia Captarencu (Alexandru Ioan Cuza University of Iaşi), Pascal Felber (University of Neuchâtel), Corentin Libert (UCLouvain), Emanuel Onica (Alexandru Ioan Cuza University of Iaşi), Etienne Rivière (UCLouvain), Valerio Schiavoni (Université de Neuchâtel), Peterson Yuhala (Université de Neuchâtel)
Morpheus Consensus: Excelling on trails and autobahns
Andy Lewis (LSE), Ehud Shapiro (Weizmann Institute of Science)