ECOOP 2025
Mon 30 June - Fri 4 July 2025
Bergen, Norway
Toggle navigation
Attending
Venue: Western Norway University of Applied Sciences
Conference dinner (Wed, 2.7. 19:30): "Ostra": Ostra
Reception (Mon, 30.6. 18:30): Håkonshallen
Registration Information
Getting There (And Away)
Accommodation
Weather
Sponsorship
Program
ECOOP Program
Your Program
Program Overview
Accepted Papers
Mon 30 Jun
Tue 1 Jul
Wed 2 Jul
Thu 3 Jul
Fri 4 Jul
Tracks
ECOOP 2025
Awards
Technical Papers
Artifact Evaluation
Doctoral Symposium
Co-hosted Conferences
GPCE
Workshops
DEBT
FTfJP
ICOOOLPS
PLF+PLAID
PLSS
VORTEX
VORTEX
- Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions
Organization
ECOOP 2025 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
Doctoral Symposium
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
Workshops
DEBT
Organizing Committee
Program Committee
Steering Committee
FTfJP
Program Committee
Steering Committee
ICOOOLPS
Program Committee
PLF+PLAID
Organizing Committee
Program Committee
PLSS
Organizers
VORTEX
Organizing Committee
Program Committee (to be finalized)
Search
Series
Series
ECOOP 2026
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2025
(
series
) /
Western Norway University of Applied Sciences
/
Room information: M207
Venue
Western Norway University of Applied Sciences
Room name
M207
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:15
Keynote 1
PLF+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:45 - 12:30
Keynote 2 + Mini Session
PLF+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
14:00 - 15:45
Session 1
PLF+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
16:15 - 18:00
Session 2
PLF+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
09:00 - 10:15
Opening & Keynote (WebAssembly)
PLSS
at
M207
09:00
15m
Day opening
PLSS - Opening Session
PLSS
Mikhail Barash
University of Bergen
,
Yulia Startsev
Mozilla
09:15
60m
Keynote
Engineering a Formal Language Specification
PLSS
Andreas Rossberg
Independent
Link to publication
10:45 - 12:30
APL, JavaScript, Hylo
PLSS
at
M207
10:45
30m
Talk
APL Array Notation
PLSS
Adám Brudzewsky
Dyalog Ltd.
11:15
30m
Talk
Trusted JavaScript Language Environments with ESMeta
PLSS
Jihyeok Park
Korea University
11:45
30m
Talk
Designing Hylo, a programming language for safe systems programming
Remote
PLSS
Dimi Racordon
EPFL, LAMP
14:00 - 15:45
Kotlin, JavaScript, APL
PLSS
at
M207
14:00
30m
Talk
Just-in-time Specification: Evolving Kotlin One Feature at a Time
PLSS
Marat Akhin
JetBrains
14:30
30m
Talk
The Software Supporting the JavaScript Language Specification
PLSS
Michael Ficarra
F5
15:00
30m
Talk
APL Standards
PLSS
Karta Kooner
Dyalog Ltd.
16:15 - 18:00
P4, C++, Emacs Lisp
PLSS
at
M207
16:15
30m
Talk
P4-SpecTec: Mechanized Language Definition for P4
PLSS
Jaehyun Lee
KAIST
,
Sukyoung Ryu
KAIST
16:45
30m
Talk
C++ Standardization: Reflections and Lessons Learned
PLSS
Jaakko Järvi
University of Turku
17:15
30m
Talk
Do Programming Languages Fulfill Requirements? Should They?
Remote
PLSS
Michael Sperber
Active Group GmbH
17:45
5m
Day closing
PLSS - Closing Session
PLSS
Yulia Startsev
Mozilla
,
Mikhail Barash
University of Bergen
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
M207
PLF+PLAID
Keynote 1
PLF+PLAID
Keynote 2 + Mini Session
PLF+PLAID
Session 1
PLF+PLAID
Session 2
Fri 4 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
M207
PLSS
Opening & Keynote (WebAssembly)
PLSS
APL, JavaScript, Hylo
PLSS
Kotlin, JavaScript, APL
PLSS
P4, C++, Emacs Lisp
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
M207
PLF+PLAID
Welcome
09:00 - 09:10
PLF+PLAID
Local Actions, Global Outcomes: A Decentralization-first Programming Pa ...
09:10 - 10:10
PLF+PLAID
Formal model guided conformance testing for blockchains
10:45 - 11:45
PLF+PLAID
A Global Specification Model for Data-Aware Coordination (with an appli ...
11:45 - 12:15
PLF+PLAID
Compositional Implementation and Verification of Swarms - A Tool Demo
14:00 - 14:30
PLF+PLAID
Optimizing CRDTs for Low Memory Environments
14:30 - 15:00
PLF+PLAID
PRDTs: Implementing Distributed Protocols with Replicated Data Types
15:00 - 15:30
PLF+PLAID
Local-First Extensions and Patterns: Designing Server-Free Systems with UML
16:15 - 16:45
PLF+PLAID
Teilen-SQL: A library for building local-first software with SQLite and ...
16:45 - 17:15
Fri 4 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
M207
PLSS
PLSS - Opening Session
09:00 - 09:15
PLSS
Engineering a Formal Language Specification
09:15 - 10:15
PLSS
APL Array Notation
10:45 - 11:15
PLSS
Trusted JavaScript Language Environments with ESMeta
11:15 - 11:45
PLSS
Remote
Designing Hylo, a programming language for safe systems programming
11:45 - 12:15
PLSS
Just-in-time Specification: Evolving Kotlin One Feature at a Time
14:00 - 14:30
PLSS
The Software Supporting the JavaScript Language Specification
14:30 - 15:00
PLSS
APL Standards
15:00 - 15:30
PLSS
P4-SpecTec: Mechanized Language Definition for P4
16:15 - 16:45
PLSS
C++ Standardization: Reflections and Lessons Learned
16:45 - 17:15
PLSS
Remote
Do Programming Languages Fulfill Requirements? Should They?
17:15 - 17:45
PLSS
PLSS - Closing Session
17:45 - 17:50
x
Sat 19 Jul 03:46