The 6th workshop on Theory and Practice of Decentralised and Local-First Software is a joint effort combining two workshops: PLF (Programming Local-first Software) and PLAID (Principles, Theory, and Practice for Decentralised Applications). These two workshops had significant overlap in their topics, and we aim at bringing together their communities of researchers and practitioners. Submissions suitable for either of the earlier workshops are well-suited to PLF+PLAID.
About
Ubiquitous connectivity and the affordable availability of user devices, ranging from smartphones to desktops, have made applications that support multi-device and collaborative use increasingly common. These devices and the networks they belong to possess vastly different characteristics. Data centres offer nearly unlimited resources and high availability, while edge devices often have limited resources, experience frequent connectivity loss, and exhibit significant dynamism. Shifting away from the cloud enables the use of edge resources, with potential benefits for privacy and costs. In this scenario, collaborative applications must be decentralised; Local-First Software operates and stores its data locally while still enabling collaboration, without relying on the cloud.
Several specific solutions already exist for designing and programming decentralised and local-first software, but the task remains difficult. Our workshop aims to bring together researchers and practitioners to share insights into the theoretical and practical challenges of developing decentralised applications in today’s computing ecosystems, and to foster the research and development of suitable solutions in this area.
The PLF+PLAID workshop is co-organised by the Horizon Europe project #101093006 TaRDIS (Trustworthy And Resilient Decentralised Intelligence For Edge Systems).
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:00 | |||
08:30 8h30mBreak | Coffee available throughout the day Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Ensuring Convergence and Invariants Without Coordination PLF+PLAID Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Nuno Preguica , Elisa Gonzalez Boix Vrije Universiteit Brussel, Carla Ferreira NOVA University Lisbon | ||
11:30 30mTalk | Replicated Data Types as a Universal Application Substrate PLF+PLAID Julian Haas Technische Universität Darmstadt | ||
12:00 30mTalk | On the Aggregate Programming paradigm for Decentralised and Local-First Software PLF+PLAID Ferruccio Damiani University of Turin | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Enforcing Session Protocols at the Network Level Using NEST PLF+PLAID Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker , Nate Foster EPFL; Jane Street | ||
14:30 30mTalk | Automatic Generation of Local-First and Collaborative Domain-Specific Modeling Languages PLF+PLAID Léo Olivier CEA-List, Université Paris-Saclay | ||
15:00 30mTalk | Beyond Character Convergence: Structure-Aware Replication for Collaborative Programming PLF+PLAID Leon Freudenthaler Hochschule Campus Wien/TU Wien | ||
16:00 - 17:30 | |||
16:00 30mTalk | Decentralizing Infrastructure with a Lightweight Sovereign Cloud PLF+PLAID Kristof Jannes DistriNet, KU Leuven | ||
16:30 30mTalk | Type Safe Smart Contracts in TinySol PLF+PLAID Daniele Gorla Department of Computer Science, Sapienza University of Rome | ||
17:00 30mTalk | Hybrid consistency for smart contracts PLF+PLAID Jim Bauwens Vrije Universiteit Brussel, Stoffel Oostvogels , Thomas Vandermotten Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||