ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway

Dates
Mon 30 Jun 2025
Tue 1 Jul 2025
Wed 2 Jul 2025
Thu 3 Jul 2025
Fri 4 Jul 2025
Rooms
Cafeteria (K1)
M130/131
M209
Tracks
ECOOP Catering
FTfJP
Badges
Nothing to filter
Your Program
Nothing to filter
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)
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
KeynoteFTfJP 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:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Session 1FTfJP 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
12:30 - 14:00
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Session 2FTfJP 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
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

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

:
: