ECOOP 2025
Mon 30 June - Fri 4 July 2025
Bergen, Norway
Toggle navigation
Attending
Venue: Western Norway University of Applied Sciences
Registration Information
Getting There (And Away)
Visa Letters
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
Colocated Events & Workshops
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: M125
Venue
Western Norway University of Applied Sciences
Room name
M125
Floor
1
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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
Opening & Keynote
Doctoral Symposium
at
M125
Chair(s):
Carla Ferreira
NOVA University Lisbon
09:00
15m
Day opening
Doctoral Symposium - Opening Session
Doctoral Symposium
Carla Ferreira
NOVA University Lisbon
,
Mikhail Barash
University of Bergen
09:15
60m
Keynote
How to get your Ph.D. DONE!
Doctoral Symposium
Eric Jul
University of Oslo
10:45 - 12:30
Session 1
Doctoral Symposium
at
M125
Chair(s):
Mikhail Barash
University of Bergen
10:45
20m
Talk
Compiling to an Intermediate Representation with Definitional Abstract Interpreters
Doctoral Symposium
Armand Lego
Johannes Gutenberg University Mainz
11:05
20m
Talk
Expressive Equivalence of React's and Signals' Reactivity
Doctoral Symposium
Kirill Golubev
University of Turku
11:25
25m
Talk
Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques
Doctoral Symposium
Dina Borrego
NOVA LINCS, FCT, Universidade NOVA de Lisboa
11:50
30m
Other
Session 1 - Discussion
Doctoral Symposium
14:00 - 15:45
Session 2
Doctoral Symposium
at
M125
Chair(s):
Carla Ferreira
NOVA University Lisbon
14:00
20m
Talk
Extensions to Container-Based Abstraction of Graphical User Interfaces
Doctoral Symposium
Yan Passeniouk
University of Turku
14:20
20m
Talk
Applied Implicit Computational Complexity
Doctoral Symposium
Neea Rusch
Augusta University
14:40
20m
Talk
Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services
Doctoral Symposium
Lylian Siffre
15:00
30m
Other
Session 2 - Discussion
Doctoral Symposium
16:15 - 18:00
Keynote
Doctoral Symposium
at
M125
Chair(s):
Mikhail Barash
University of Bergen
16:15
60m
Keynote
AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings
Doctoral Symposium
Jaakko Järvi
University of Turku
17:15
5m
Day closing
Doctoral Symposium - Closing Session
Doctoral Symposium
Mikhail Barash
University of Bergen
,
Carla Ferreira
NOVA University Lisbon
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
M125
Doctoral Symposium
Opening & Keynote
Doctoral Symposium
Session 1
Doctoral Symposium
Session 2
Doctoral Symposium
Keynote
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
M125
VORTEX
VORTEX
VORTEX
VORTEX
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
M125
ECOOP Doctoral Symposium
Doctoral Symposium - Opening Session
09:00 - 09:15
ECOOP Doctoral Symposium
How to get your Ph.D. DONE!
09:15 - 10:15
ECOOP Doctoral Symposium
Compiling to an Intermediate Representation with Definitional Abstract ...
10:45 - 11:05
ECOOP Doctoral Symposium
Expressive Equivalence of React's and Signals' Reactivity
11:05 - 11:25
ECOOP Doctoral Symposium
Designing Correct and Available Replicated Systems through Coordination ...
11:25 - 11:50
ECOOP Doctoral Symposium
Session 1 - Discussion
11:50 - 12:20
ECOOP Doctoral Symposium
Extensions to Container-Based Abstraction of Graphical User Interfaces
14:00 - 14:20
ECOOP Doctoral Symposium
Applied Implicit Computational Complexity
14:20 - 14:40
ECOOP Doctoral Symposium
Impacts and Uses of Local-First Software Architecture for Energy Optimi ...
14:40 - 15:00
ECOOP Doctoral Symposium
Session 2 - Discussion
15:00 - 15:30
ECOOP Doctoral Symposium
AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings
16:15 - 17:15
ECOOP Doctoral Symposium
Doctoral Symposium - Closing Session
17:15 - 17:20
x
Tue 17 Jun 12:19