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: Cafeteria (K1)
Venue
Western Norway University of Applied Sciences
Room name
Cafeteria (K1)
Floor
0
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
Mon 30 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:00
Lunch (cafeteria K1)
Catering
at
Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering
Tue 1 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:00
Lunch (cafeteria K1)
Catering
at
Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering
Wed 2 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:00
Lunch (cafeteria K1)
Catering
at
Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:00
Lunch (cafeteria K1)
Catering
at
Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering
Fri 4 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
12:30 - 14:00
Lunch (cafeteria K1)
Catering
at
Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering
Mon 30 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
Cafeteria (K1)
Catering
Lunch (cafeteria K1)
Tue 1 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
Cafeteria (K1)
Catering
Lunch (cafeteria K1)
Wed 2 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
Cafeteria (K1)
Catering
Lunch (cafeteria K1)
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
Cafeteria (K1)
Catering
Lunch (cafeteria K1)
Fri 4 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
30
13:00
30
Cafeteria (K1)
Catering
Lunch (cafeteria K1)
Mon 30 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
Cafeteria (K1)
ECOOP Catering
Lunch
12:30 - 14:00
Tue 1 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
Cafeteria (K1)
ECOOP Catering
Lunch
12:30 - 14:00
Wed 2 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
Cafeteria (K1)
ECOOP Catering
Lunch
12:30 - 14:00
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
Cafeteria (K1)
ECOOP Catering
Lunch
12:30 - 14:00
Fri 4 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
12:00
15
30
45
13:00
15
30
45
Cafeteria (K1)
ECOOP Catering
Lunch
12:30 - 14:00
x
Thu 14 Aug 06:16
:
: