PLF+PLAID 2025 Contributors

Mon 30 June - Fri 4 July 2025 Bergen, Norway

co-located with ECOOP 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (31)

A Michele AlbanoAlbano, Michele Aalborg UniversityDenmark Teilen-SQL: A library for building local-first software with SQLite and version control
B Valter BalegasBalegas, Valter ElectricSQLPortugal PC Member in Program Committee within the PLF+PLAID-track
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Optimizing CRDTs for Low Memory Environments
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany PC Member in Program Committee within the PLF+PLAID-track
C Lucas CloriusClorius, Lucas Compositional Implementation and Verification of Swarms - A Tool Demo
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Committee Member in Organizing Committee within the PLF+PLAID-track
F Carla FerreiraFerreira, Carla NOVA University LisbonPortugal PC Member in Program Committee within the PLF+PLAID-track
Florian FurbachFurbach, Florian Technical University of DenmarkDenmark Compositional Implementation and Verification of Swarms - A Tool Demo
G Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia Committee Member in Organizing Committee within the PLF+PLAID-track
Léon GondelmanGondelman, Léon Aalborg University, Denmark Teilen-SQL: A library for building local-first software with SQLite and version control
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Optimizing CRDTs for Low Memory Environments
Jonathan GueryGuery, Jonathan Local-First Extensions and Patterns: Designing Server-Free Systems with UML
H Julian HaasHaas, Julian Technische Universität Darmstadt PRDTs: Implementing Distributed Protocols with Replicated Data Types PC Member in Program Committee within the PLF+PLAID-track
K Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom PC Member in Program Committee within the PLF+PLAID-track
Roland KuhnKuhn, Roland Actyx AGGermany Compositional Implementation and Verification of Swarms - A Tool Demo PC Member in Program Committee within the PLF+PLAID-track
L Thomas LedouxLedoux, Thomas Local-First Extensions and Patterns: Designing Server-Free Systems with UML
João LeitãoLeitão, João NOVA LINCS & FCT, NOVA University of LisbonPortugal PC Member in Program Committee within the PLF+PLAID-track
M Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Compositional Implementation and Verification of Swarms - A Tool Demo
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Local Actions, Global Outcomes: A Decentralization-first Programming Paradigm for Next-Generation Distributed Applications
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany PRDTs: Implementing Distributed Protocols with Replicated Data Types Committee Member in Organizing Committee within the PLF+PLAID-track
P Renaud PawlakPawlak, Renaud Local-First Extensions and Patterns: Designing Server-Free Systems with UML
Nuno PreguicaPreguica, Nuno Universidade Nova de Lisboa PC Member in Program Committee within the PLF+PLAID-track
R António RavaraRavara, António Nova University of LisbonPortugal A Global Specification Model for Data-Aware Coordination (with an application to smart contracts)
S Jakob SaadbyeSaadbye, Jakob Teilen-SQL: A library for building local-first software with SQLite and version control
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Compositional Implementation and Verification of Swarms - A Tool Demo Committee Member in Organizing Committee within the PLF+PLAID-track
Lylian SiffreSiffre, Lylian Local-First Extensions and Patterns: Designing Server-Free Systems with UML
Pavle SuboticSubotic, Pavle Microsoft AzureSerbia Formal model guided conformance testing for blockchains
T Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Compositional Implementation and Verification of Swarms - A Tool Demo
V Peter van Hardenbergvan Hardenberg, Peter Ink & SwitchCanada PC Member in Program Committee within the PLF+PLAID-track
Thomas VandermottenVandermotten, Thomas Vrije Universiteit Brussel Optimizing CRDTs for Low Memory Environments
Y Nobuko YoshidaYoshida, Nobuko University of Oxford, UKUnited Kingdom PC Member in Program Committee within the PLF+PLAID-track