Program - ECOOP 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1) Poster session “Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems”, Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera and Matteo Pinasco “Control Graphs - An intermediate representation for ICFG construction”, Stefan Marx Venue: same as coffee breaks; before the main session

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:15	Keynote 1PLF+PLAID at M207

09:00 10m Day opening		Welcome PLF+PLAID
09:10 60m Talk		Local Actions, Global Outcomes: A Decentralization-first Programming Paradigm for Next-Generation Distributed Applications PLF+PLAID Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

10:45 - 12:30	Keynote 2 + Mini SessionPLF+PLAID at M207

10:45 60m Talk		Formal model guided conformance testing for blockchains PLF+PLAID Pavle Subotic Microsoft Azure
11:45 30m Talk		A Global Specification Model for Data-Aware Coordination (with an application to smart contracts) PLF+PLAID António Ravara Nova University of Lisbon

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	Session 1PLF+PLAID at M207

14:00 30m Talk		Compositional Implementation and Verification of Swarms - A Tool Demo PLF+PLAID Florian Furbach Technical University of Denmark, Lucas Clorius , Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Hernan Melgratti University of Buenos Aires, Argentina
14:30 30m Talk		Optimizing CRDTs for Low Memory Environments PLF+PLAID Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:00 30m Talk		PRDTs: Implementing Distributed Protocols with Replicated Data Types PLF+PLAID Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

16:15 - 18:00	Session 2PLF+PLAID at M207

16:15 30m Talk		Local-First Extensions and Patterns: Designing Server-Free Systems with UML PLF+PLAID Lylian Siffre , Thomas Ledoux , Renaud Pawlak , Jonathan Guery
16:45 30m Talk		Teilen-SQL: A library for building local-first software with SQLite and version control PLF+PLAID Jakob Saadbye , Léon Gondelman Aalborg University, Denmark, Michele Albano Aalborg University

Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

PLF+PLAID 2025 Program

Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Poster session

Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

PLF+PLAID 2025 Program

Switch Program View

Program Display Configuration

Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Poster session

Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change