VORTEX 2025
Mon 30 June - Fri 4 July 2025
Bergen, Norway
co-located with
ECOOP 2025
Toggle navigation
Attending
Venue: Western Norway University of Applied Sciences
Reception (Mon, 30.6. 18:30): Håkonshallen
Program
VORTEX Program
Your Program
Mon 30 Jun
Tue 1 Jul
Wed 2 Jul
Thu 3 Jul
Fri 4 Jul
Track/Call
Organization
VORTEX 2025 Committees
Track Committees
Organizing Committee
Program Committee (to be finalized)
Contributors
People Index
Search
Series
Series
VORTEX 2025
VORTEX 2024
VORTEX 2023
VORTEX 2022
VORTEX 2021
VORTEX 2020
VORTEX 2019
VORTEX 2018
VORTEX 2017
VORTEX 2016
Sign in
Sign up
ECOOP 2025
(
series
) /
VORTEX 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
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
Keynote
FTfJP
at
M209
Chair(s):
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
imec-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
imec-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
Thu 26 Jun 12:47
:
: