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: M125
Venue
Western Norway University of Applied Sciences
Room name
M125
Floor
1
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
Wed 2 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:45 - 12:30
ICOOOLPS Session 1
ICOOOLPS
at
M125
10:45
15m
Day opening
Opening Remarks
ICOOOLPS
Paulo Ferreira
University of Oslo
,
Andrea Rosà
USI Lugano
11:00
60m
Talk
Invited Talk: Implementing Object Tracking in the Emerald Object-Oriented Language
ICOOOLPS
Eric Jul
University of Oslo
12:00
30m
Full-paper
Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming
ICOOOLPS
Matyáš Brabec
Charles University
,
Jiří Klepl
Charles University
,
Martin Kruliš
Charles University
Pre-print
14:00 - 15:45
ICOOOLPS Session 2
ICOOOLPS
at
M125
14:00
30m
Full-paper
Revisiting Borrow Checking with Abstract Interpretation
ICOOOLPS
Aurélien Coet
University of Geneva, Switzerland
,
Didier Buchs
University of Geneva, Switzerland
14:30
30m
Full-paper
AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs
ICOOOLPS
Octave Larose
University of Kent
,
Michael Vollmer
University of Kent
,
Stefan Marr
University of Kent
Pre-print
File Attached
15:00
30m
Full-paper
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
ICOOOLPS
Christoph Jung
,
CF Bolz-Tereick
Heinrich-Heine-Universität Düsseldorf
Pre-print
15:30
10m
Day closing
Closing Remarks
ICOOOLPS
Paulo Ferreira
University of Oslo
,
Andrea Rosà
USI Lugano
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:15
Opening & Keynote
ECOOP Doctoral Symposium
at
M125
Chair(s):
Carla Ferreira
NOVA University Lisbon
09:00
15m
Day opening
Doctoral Symposium - Opening Session
ECOOP Doctoral Symposium
Carla Ferreira
NOVA University Lisbon
,
Mikhail Barash
University of Bergen
09:15
60m
Keynote
How to get your Ph.D. DONE!
ECOOP Doctoral Symposium
Eric Jul
University of Oslo
10:45 - 12:30
Session 1
ECOOP Doctoral Symposium
at
M125
Chair(s):
Mikhail Barash
University of Bergen
10:45
20m
Talk
Compiling to an Intermediate Representation with Definitional Abstract Interpreters
ECOOP Doctoral Symposium
Armand Lego
Johannes Gutenberg University Mainz
11:05
20m
Talk
Expressive Equivalence of React's and Signals' Reactivity
ECOOP Doctoral Symposium
Kirill Golubev
University of Turku
11:25
20m
Talk
Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques
ECOOP Doctoral Symposium
Dina Borrego
NOVA LINCS, FCT, Universidade NOVA de Lisboa
11:45
45m
Industry talk
What after Ph.D.?
ECOOP Doctoral Symposium
Mai Tran
InterBe AS
14:00 - 15:45
Session 2
ECOOP Doctoral Symposium
at
M125
Chair(s):
Carla Ferreira
NOVA University Lisbon
14:00
20m
Talk
Extensions to Container-Based Abstraction of Graphical User Interfaces
ECOOP Doctoral Symposium
Yan Passeniouk
University of Turku
14:20
20m
Talk
Applied Implicit Computational Complexity
ECOOP Doctoral Symposium
Neea Rusch
Augusta University
14:40
20m
Talk
Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services
ECOOP Doctoral Symposium
Lylian Siffre
15:00
45m
Other
Discussion
ECOOP Doctoral Symposium
16:15 - 18:00
Keynote
ECOOP Doctoral Symposium
at
M125
Chair(s):
Mikhail Barash
University of Bergen
16:15
60m
Keynote
AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings
ECOOP Doctoral Symposium
Jaakko Järvi
University of Turku
17:15
5m
Day closing
Doctoral Symposium - Closing Session
ECOOP Doctoral Symposium
Mikhail Barash
University of Bergen
,
Carla Ferreira
NOVA University Lisbon
Wed 2 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
M125
ICOOOLPS
ICOOOLPS
ICOOOLPS Session 1
ICOOOLPS
ICOOOLPS Session 2
ICOOOLPS
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
M125
ECOOP Doctoral Symposium
Opening & Keynote
ECOOP Doctoral Symposium
Session 1
ECOOP Doctoral Symposium
Session 2
ECOOP Doctoral Symposium
Keynote
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
M125
VORTEX
VORTEX
VORTEX
VORTEX
Wed 2 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
M125
ICOOOLPS
Opening Remarks
10:45 - 11:00
ICOOOLPS
Invited Talk: Implementing Object Tracking in the Emerald Object-Orient ...
11:00 - 12:00
ICOOOLPS
Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming
12:00 - 12:30
ICOOOLPS
Revisiting Borrow Checking with Abstract Interpretation
14:00 - 14:30
ICOOOLPS
AST, Bytecode, and the Space In Between: An Exploration of Interpreter ...
14:30 - 15:00
ICOOOLPS
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
15:00 - 15:30
ICOOOLPS
Closing Remarks
15:30 - 15:40
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
16:00
15
30
45
17:00
15
30
45
M125
ECOOP Doctoral Symposium
Doctoral Symposium - Opening Session
09:00 - 09:15
ECOOP Doctoral Symposium
How to get your Ph.D. DONE!
09:15 - 10:15
ECOOP Doctoral Symposium
Compiling to an Intermediate Representation with Definitional Abstract ...
10:45 - 11:05
ECOOP Doctoral Symposium
Expressive Equivalence of React's and Signals' Reactivity
11:05 - 11:25
ECOOP Doctoral Symposium
Designing Correct and Available Replicated Systems through Coordination ...
11:25 - 11:45
ECOOP Doctoral Symposium
What after Ph.D.?
11:45 - 12:30
ECOOP Doctoral Symposium
Extensions to Container-Based Abstraction of Graphical User Interfaces
14:00 - 14:20
ECOOP Doctoral Symposium
Applied Implicit Computational Complexity
14:20 - 14:40
ECOOP Doctoral Symposium
Impacts and Uses of Local-First Software Architecture for Energy Optimi ...
14:40 - 15:00
ECOOP Doctoral Symposium
Discussion
15:00 - 15:45
ECOOP Doctoral Symposium
AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings
16:15 - 17:15
ECOOP Doctoral Symposium
Doctoral Symposium - Closing Session
17:15 - 17:20
x
Thu 26 Jun 13:01
:
: