[TYPES/announce] Call for participation: PLF+PLAID @ ECOOP 2025

[Alceste Scalas]

CALL FOR PARTICIPATION: PLF+PLAID 2025
5th Workshop on Theory and Practice of Decentralized and Local-First 
Software

Colocated with ECOOP 2025
3 July 2025 - Western Norway University of Applied Sciences, Bergen, Norway
https://urldefense.com/v3/__https://2025.ecoop.org/home/plf-plaid-2025__;!!IBzWLUs!VBB-4YMIHa6r2kqId3D8TLDdhgtdemG8RcQU5zeyGPBLs5FeNKrM0bXWTseNFCxiypk-M2r1BodcztKN2QBqCXXauJgC$ 

PLF+PLAID 2025 is a joint effort combining two workshops from previous 
years:
PLF (Programming Local-first Software) and PLAID (Principles, Theory, and
Practice for Decentralized Applications). The two workshops had significant
overlap in their topics, and we aim at bringing together their 
communities of
researchers and practitioners. Talk proposals suitable for either of the
earlier workshops are well-suited for 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
display significant dynamism; shifting away from the cloud enables the 
use of
edge resources, with potential benefits in terms of privacy and costs. 
In this
scenario, collaborative applications must be decentralized; Local-First
Software operates and stores its data locally while still allowing for
collaboration, without dependence on the cloud.

Several specific solutions already exist for designing and programming
decentralized and local-first software, but the task remains difficult. Our
workshop aims to gather researchers and practitioners and their insights to
the theoretical and practical challenges of developing decentralized
applications in today's computing ecosystems, fostering the research and
development of suitable solutions in this area.

# KEYNOTE SPEAKERS

   * Pavle Subotic, Sonic Research, Serbia.
     Topic: formal model guided conformance testing for blockchains.

   * Mira Mezini, Technische Universität Darmstadt, Germany.
     Topic: integrating key concepts of distributed and local-first software
     into modern programming models.

# ACCEPTED TALKS

   * António Ravara.
     "A Global Specification Model for Data-Aware Coordination (with an
     application to smart contracts)"

   *	Florian Furbach, Lucas Clorius, Alceste Scalas, Roland Kuhn, Emilio 
Tuosto,
     Hernan Melgratti.
     "Compositional Implementation and Verification of Swarms: A Tool Demo"

   * Lylian Siffre, Thomas Ledoux, Renaud Pawlak, Jonathan Guery.
     "Local-First Extensions and Patterns: Designing Server-Free Systems 
with
     UML"

   * Oleks Shturmov.
     "Local GR(1) Synthesis with Dynamic Updates for Cooperative and 
Adaptive
     Multi-Agent Programming"

   * Thomas Vandermotten, Jim Bauwens, Elisa Gonzalez Boix.
     "Optimizing CRDTs for Low Memory Environments"

   * Julian Haas, Ragnar Mogk.
     "PRDTs: Implementing Distributed Protocols with Replicated Data Types"

# PROGRAMME COMMITTEE

   * Valter Balegas (ElectricSQL, Portugal)
   * Annette Bieniusa (University of Kaiserslautern-Landau, Germany)
   * Carla Ferreira (NOVA University Lisbon, Portugal)
   * Julian Haas (Technische Universität Darmstadt, Germany)
   * Martin Kleppmann (University of Cambridge, United Kingdom)
   * Roland Kuhn (Actyx AG, Germany)
   * João Leitão (NOVA LINCS & FCT, NOVA University of Lisbon, Portugal)
   * Nuno Preguica (NOVA LINCS, NOVA University of Lisbon, Portugal)
   * Nobuko Yoshida (University of Oxford, UK, United Kingdom)
   * Peter van Hardenberg (Ink & Switch, Canada)

# ORGANISERS

* Alceste Scalas (Technical University of Denmark, Denmark)
* João Costa Seco (NOVA University Lisbon, Portugal)
* Ragnar Mogk (Technische Universität Darmstadt, Germany)
* Silvia Ghilezan (Mathematical Institute SASA & University of Novi Sad, 
Serbia)

For inquiries, you can contact: plfplaid2025 at easychair.org

The PLF+PLAID workshop is co-organised by the Horizon Europe project 
#101093006
TaRDIS (Trustworthy And Resilient Decentralised Intelligence For Edge 
Systems).


-- 
Alceste Scalas <alcsc at dtu.dk> - https://urldefense.com/v3/__https://people.compute.dtu.dk/alcsc__;!!IBzWLUs!VBB-4YMIHa6r2kqId3D8TLDdhgtdemG8RcQU5zeyGPBLs5FeNKrM0bXWTseNFCxiypk-M2r1BodcztKN2QBqCS-G07sH$ 
Associate Professor @ DTU Compute - Section for Software Systems Engineering
Technical University of Denmark
Building 321, Room 010
2800 Kgs. Lyngby