ECOOP 2025 (series) / FTfJP 2025 (series) /
FTfJP 2025 Program
This is the FTfJP 2025 program - see the full program for ECOOP 2025 and all affiliated events.
Filter Program
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
Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 5mDay opening | Welcome FTfJP | ||
09:05 70mKeynote | Gradual Verification: Assuring Software Incrementally FTfJP Jonathan Aldrich Carnegie Mellon University |
10:45 - 12:30 | Session 1FTfJP at M209 Chair(s): Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University | ||
10:45 60mKeynote | Formal model guided conformance testing for blockchains (joint keynote, location: M207) FTfJP Pavle Subotic Microsoft Azure | ||
12:00 30mTalk | An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model FTfJP |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:45 | |||
14:00 30mTalk | 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 30mTalk | Towards a Unifying Semantics Playground FTfJP Andrew Butterfield Trinity College Dublin | ||
15:00 30mTalk | 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 30mTalk | 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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |