ECOOP 2026
Mon 29 June - Fri 3 July 2026
Brussels, Belgium
Toggle navigation
Attending
Venue: Vrije Universiteit Brussel
Lunch Menu
Weather
Accommodation
Registration
Conduct
Social events
Sponsorship
Program
ECOOP Program
Your Program
Schedule Overview
Social Events
Mon 29 Jun
Tue 30 Jun
Wed 1 Jul
Thu 2 Jul
Fri 3 Jul
Tracks
ECOOP 2026
Awards
Technical Papers
Artifact Evaluation
Workshops
Demos
ECOOP Academy
Doctoral Symposium
Posters
Student Research Competition
Student Volunteers
Social Events
Co-hosted Conferences
GPCE
MPLR
Workshops
DEBT
Future Debugging Techniques
FTfJP
Formal Techniques for Judicious Programming
ICOOOLPS
Lang Implementation & Optimization
PLF+PLAID
Decentralized Local-First Software
The Scala Workshop
UNSOUND
VeriLang
Verification Languages
VORTEX
Runtime Monitoring
Organization
ECOOP 2026 Committees
Organizing Committee
Track Committees
Awards
Technical Papers
Artifact Evaluation
Workshops
Demos
ECOOP Academy
Doctoral Symposium
Posters
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
MPLR
Organizing Committee
Program Committee
Workshops
DEBT
Future Debugging Techniques
Organizing Committee
Program Committee
Steering Committee
FTfJP
Formal Techniques for Judicious Programming
Program Committee
Steering Committee
ICOOOLPS
Lang Implementation & Optimization
Organizing Committee
Program Committee
PLF+PLAID
Decentralized Local-First Software
Organizing Committee
Program Committee
The Scala Workshop
Organizing Committee
Program Committee
UNSOUND
Program Committee
VeriLang
Verification Languages
Organizing Committee
Program Committee
VORTEX
Runtime Monitoring
Organizing Committee
Program Committee
Search
Series
Series
ECOOP 2027
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 2026
(
series
) /
Vrije Universiteit Brussel
/
Room information: I.1.07
Venue
Vrije Universiteit Brussel
Room name
I.1.07
Floor
1
Room number
I.1.07
Room Information
Building
I
, floor
1
, room
I.1.07
https://link.mazemap.com/19alfVMW
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
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-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(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
Mon 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 09:10
Welcome session
VeriLang
at
I.1.07
09:00
10m
Day opening
VeriLang welcome!
VeriLang
Mateo Sanabria
Universidad de los Andes
09:10 - 10:10
Verilang Keynote
VeriLang
at
I.1.07
Chair(s):
Nicolás Cardozo
Universidad de los Andes
09:10
59m
Keynote
Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
VeriLang
Jorge A. Pérez
University of Groningen
11:00 - 12:30
Session 2
VeriLang
at
I.1.07
Chair(s):
Mateo Sanabria
Universidad de los Andes
11:00
55m
Keynote
Coma: Omitting and Moving Abstraction barriers
VeriLang
Andrei Paskevich
LMF - University Paris-Saclay
12:00
30m
Talk
Proof Primitives for Equality Saturation-based Automated Provers
VeriLang
George Zakhour
,
Jahrim Gabriele Cesario
University of St. Gallen
,
Pascal Weisenburger
University of St. Gallen
,
Guido Salvaneschi
University of St. Gallen
14:00 - 15:30
Session 3
VeriLang
at
I.1.07
Chair(s):
Mateo Sanabria
Universidad de los Andes
14:00
30m
Talk
A Case Study in Proving the Soundness and Completeness of Natural Deduction for Propositional Logic in Dafny
VeriLang
Daniel Bîrleanu
Alexandru Ioan Cuza University, Iasi
,
Ștefan Ciobâcă
Alexandru Ioan Cuza University of Iasi
14:30
30m
Day closing
Discussion and closing remarks
VeriLang
Mateo Sanabria
Universidad de los Andes
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Morning Session 1 (keynote, talk)
VORTEX
at
I.1.07
Chair(s):
Davide Ancona
DIBRIS, University of Genova, Italy
09:00
5m
Day opening
Welcome to VORTEX 2026
VORTEX
Davide Ancona
DIBRIS, University of Genova, Italy
,
Giorgio Audrito
09:05
60m
Keynote
If At First You Don’t Succeed: Extended Monitorability through Multiple Executions
VORTEX
K:
Adrian Francalanza
VELOCiTY Research Group, Department of Computer Science, University of Malta
10:05
25m
Talk
Property Grouping and Context-Aware Runtime Enforcement
VORTEX
Saumya Shankar
International Institute of Information Technology Bangalore
,
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
,
Thierry Jéron
INRIA
,
Srishti Gupta
Indian Institute of Technology Bhubaneswar
11:00 - 12:30
Morning Session 2 (keynote, talk)
VORTEX
at
I.1.07
Chair(s):
Giorgio Audrito
Università di Torino
11:00
60m
Keynote
Between static and run-time verification of message-passing systems with behavioural types
VORTEX
K:
Alceste Scalas
Technical University of Denmark
12:00
25m
Talk
Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology
VORTEX
Dhanya R Mathews
India Indian Institute of Science, Bangalore
,
Jagarlamudi Lakshmi
Indian Institute of Science, Bangalore,
14:00 - 15:30
Afternoon Session 1 (keynote, talk)
VORTEX
at
I.1.07
14:00
60m
Keynote
Testing ERC Tokens at Scale — Approaches, foundations, mutation testing, and analytics
VORTEX
K:
Yliès Falcone
Univ. Grenoble Alpes, Inria
15:00
25m
Talk
RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment
VORTEX
Adriano d'Alessandro
,
Angelo Ferrando
,
Christian Colombo
University of Malta
16:00 - 17:30
Afternoon Session 2 (talks)
VORTEX
at
I.1.07
16:00
25m
Talk
Runtime Semantic Discovery for Evolving Action Alphabets
VORTEX
Pietro Bernabei
Scuola IMT Alti Studi Lucca, University of Florence
,
Rosario Pugliese
University of Florence
16:25
25m
Talk
A New Syntax and Semantics for Probabilistic Trace Expressions
VORTEX
Davide Ancona
DIBRIS, University of Genova, Italy
,
Angelo Ferrando
,
Viviana Mascardi
DIBRIS, University of Genova, Italy
16:50
25m
Talk
Spatial Logic of Directed Graphs
VORTEX
Giorgio Audrito
Università di Torino
,
Gianluca Aguzzi
Alma Mater Studiorum - Università di Bologna
,
Ferruccio Damiani
University of Turin
,
Gianluca Torta
giatorta@gmail.com
,
Volker Stolz
Høgskulen på Vestlandet
Mon 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.1.07
VeriLang
Welcome session
VeriLang
Verilang Keynote
VeriLang
Session 2
VeriLang
Session 3
VeriLang
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.1.07
VORTEX
Morning Session 1 (keynote, talk)
VORTEX
Morning Session 2 (keynote, talk)
VORTEX
Afternoon Session 1 (keynote, talk)
VORTEX
Afternoon Session 2 (talks)
Mon 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.1.07
VeriLang
VeriLang welcome!
09:00 - 09:10
VeriLang
Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
09:10 - 10:09
VeriLang
Coma: Omitting and Moving Abstraction barriers
11:00 - 11:55
VeriLang
Proof Primitives for Equality Saturation-based Automated Provers
12:00 - 12:30
VeriLang
A Case Study in Proving the Soundness and Completeness of Natural Deduc ...
14:00 - 14:30
VeriLang
Discussion and closing remarks
14:30 - 15:00
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.1.07
VORTEX
Welcome to VORTEX 2026
09:00 - 09:05
VORTEX
If At First You Don’t Succeed: Extended Monitorability through Multiple ...
09:05 - 10:05
VORTEX
Property Grouping and Context-Aware Runtime Enforcement
10:05 - 10:30
VORTEX
Between static and run-time verification of message-passing systems wit ...
11:00 - 12:00
VORTEX
Autonomous Runtime Management of Cloud Performance Anomalies Using End- ...
12:00 - 12:25
VORTEX
Testing ERC Tokens at Scale — Approaches, foundations, mutation testing ...
14:00 - 15:00
VORTEX
RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Depl ...
15:00 - 15:25
VORTEX
Runtime Semantic Discovery for Evolving Action Alphabets
16:00 - 16:25
VORTEX
A New Syntax and Semantics for Probabilistic Trace Expressions
16:25 - 16:50
VORTEX
Spatial Logic of Directed Graphs
16:50 - 17:15
x
Wed 19 Aug 01:16