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: M209
Venue
Western Norway University of Applied Sciences
Room name
M209
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
FTfJP
at
M209
Chair(s):
Andrew Butterfield
Trinity College Dublin
,
Rosemary Monahan
Department of Computer Science & Hamilton Institute, Maynooth University
09:00
5m
Day opening
Welcome
FTfJP
09:05
70m
Keynote
Gradual Verification: Assuring Software Incrementally
FTfJP
Jonathan Aldrich
Carnegie Mellon University
10:45 - 12:30
Session 1
FTfJP
at
M209
Chair(s):
Rosemary Monahan
Department of Computer Science & Hamilton Institute, Maynooth University
10:45
60m
Keynote
Formal model guided conformance testing for blockchains (joint keynote, location: M207)
FTfJP
Pavle Subotic
Microsoft Azure
12:00
30m
Talk
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model
FTfJP
Bart Jacobs
DistriNet, Dept. CS, KU Leuven
,
Justus Fasse
Université Grenoble-Alpes; KU Leuven
14:00 - 15:45
Session 2
FTfJP
at
M209
Chair(s):
Giorgio Audrito
Università di Torino
14:00
30m
Talk
From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST
FTfJP
Songyan Lai
Department of Computer Science, Maynooth University
,
Rosemary Monahan
Department of Computer Science & Hamilton Institute, Maynooth University
14:30
30m
Talk
Towards a Unifying Semantics Playground
FTfJP
Andrew Butterfield
Trinity College Dublin
15:00
30m
Talk
Towards an Axiomitisation of Solidity Memory and Storage
FTfJP
Guilherme Horta Alvares Da Silva
Chalmers University of Technology and University of Gothenburg
,
Wolfgang Ahrendt
Chalmers University of Technology
,
Richard Bubel
Technische Universität Darmstadt
15:30
30m
Talk
VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs
FTfJP
Bart Jacobs
DistriNet, Dept. CS, KU Leuven
Fri 4 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:15
Keynote
DEBT
at
M209
09:00
15m
Day opening
Welcome to the DEBT Workshop
DEBT
09:15
60m
Keynote
Keynote: Live feedback through incremental program analysis
DEBT
Sebastian Erdweg
JGU Mainz
10:45 - 12:30
Session 1
DEBT
at
M209
10:45
30m
Talk
Automatic Data Structures Visualization in IntelliJ IDEA
DEBT
Grigorii Emdin
JetBrains, EPFL
,
Dmitrii Kirkhmeier
JetBrains
,
Nikita Koval
JetBrains
11:15
30m
Talk
Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg
DEBT
Björn Ruytenberg
Vrije Universiteit Amsterdam
,
Mohammad Sina Karvandi
Vrije Universiteit Amsterdam
11:45
30m
Talk
Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
DEBT
Dmitrii Artiukhov
JetBrains
,
Bob Brockbernd
JetBrains
,
Evgeniia Fedotova
JetBrains Research
,
Nikita Koval
JetBrains
,
Ivan Kylchik
JetBrains
,
Evgenii Moiseenko
JetBrains Research
,
Lev Serebryakov
JetBrains
,
Evgeniy Zhelenskiy
JetBrains
,
Maksim Zuev
JetBrains
12:15
15m
Day closing
Closing by the workshop organizers
DEBT
Burcu Kulahcioglu Ozkan
Delft University of Technology
,
Tom Lauwaerts
Universiteit Gent, Belgium
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
M209
FTfJP
Keynote
FTfJP
Session 1
FTfJP
Session 2
FTfJP
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
M209
DEBT
Keynote
DEBT
Session 1
DEBT
DEBT
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
M209
FTfJP
Welcome
09:00 - 09:05
FTfJP
Gradual Verification: Assuring Software Incrementally
09:05 - 10:15
FTfJP
Formal model guided conformance testing for blockchains (joint keyn ...
10:45 - 11:45
FTfJP
An approach for modularly verifying the core of Rust's atomic reference ...
12:00 - 12:30
FTfJP
From LTL to MLTL: Exploring translation between temporal logic represen ...
14:00 - 14:30
FTfJP
Towards a Unifying Semantics Playground
14:30 - 15:00
FTfJP
Towards an Axiomitisation of Solidity Memory and Storage
15:00 - 15:30
FTfJP
VeriFast’s separation logic: a higher-order(ish) logic without laters f ...
15:30 - 16:00
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
M209
DEBT
Welcome to the DEBT Workshop
09:00 - 09:15
DEBT
Keynote: Live feedback through incremental program analysis
09:15 - 10:15
DEBT
Automatic Data Structures Visualization in IntelliJ IDEA
10:45 - 11:15
DEBT
Countering Anti-Debugging Techniques: Enhancing Transparency in Nested ...
11:15 - 11:45
DEBT
Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
11:45 - 12:15
DEBT
Closing by the workshop organizers
12:15 - 12:30
x
Sat 19 Jul 03:44