ECOOP 2026
Mon 29 June - Fri 3 July 2026
Brussels, Belgium
Toggle navigation
Attending
Venue: Vrije Universiteit Brussel
Weather
Accommodation
Registration
Sponsorship
Program
ECOOP Program
Your Program
Schedule Overview
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
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 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.03
Venue
Vrije Universiteit Brussel
Room name
I.1.03
Floor
1
Room number
I.1.03
Room Information
Building
I
, floor
1
, room
I.1.03
https://link.mazemap.com/lpkucplM
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) 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 - 10:30
Session 1
ICOOOLPS
at
I.1.03
11:00 - 12:30
Session 2
ICOOOLPS
at
I.1.03
11:00
60m
Keynote
Pragmatic Approaches to Improving Compiler Correctness
ICOOOLPS
CF Bolz-Tereick
Heinrich-Heine-Universität Düsseldorf
12:00
30m
Paper
Beyond Type Erasure: On-demand Specialization for Java Generics
ICOOOLPS
Lorris Creantor
,
Remi Farox
,
Maurizio Cimadamore
14:00 - 15:30
Session 3
ICOOOLPS
at
I.1.03
14:00
30m
Short-paper
Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Extensible Type Analysis
ICOOOLPS
Christoph Aigner
JKU Linz
,
Stefan Marr
Johannes Kepler University Linz
14:30
25m
Demonstration
Automatic railroad diagrams for lexers, parsers, and more! (demo)
ICOOOLPS
Shardul Chiplunkar
EPFL
,
Clement Pit-Claudel
EPFL
Pre-print
14:55
25m
Demonstration
Phoenix: Auto-Vectorisation Reborn (demo)
ICOOOLPS
Jonas Sys
Ghent University and Vrije Universiteit Brussel
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Christophe Scholliers
Universiteit Gent
15:20
10m
Day closing
Closing remarks
ICOOOLPS
16:00 - 17:30
Session 4
ICOOOLPS
at
I.1.03
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Invited Talks 1
UNSOUND
at
I.1.03
09:00
30m
Talk
How and when Applicative Bisimulation can be unsound
UNSOUND
Vasileios Koutavas
Trinity College Dublin
09:30
30m
Talk
Lean proved this program was correct; then I found a bug
UNSOUND
Kiran Gopinathan
Basis
10:00
30m
Talk
Unsoundness in Idris
UNSOUND
Edwin Brady
University of St. Andrews
11:00 - 12:30
Accepted Contributions
UNSOUND
at
I.1.03
11:00
45m
Talk
PHP: Type System in Distress
UNSOUND
Gina Banyard
The PHP Foundation
11:45
45m
Talk
Proving False in the TLA+ Proof System
UNSOUND
Uğur Y. Yavuz
Boston University
14:00 - 15:30
Invited Talks 2
UNSOUND
at
I.1.03
14:00
45m
Talk
The rocky road to the MUST preorder for asynchrony
UNSOUND
Giovanni Bernardi
IRIF, Université Paris Cité
14:45
45m
Talk
Vibe formalizing and AI slop: sound or unsound?
UNSOUND
Freek Wiedijk
Radboud University Nijmegen
16:00 - 17:30
Invited Talks 3 (Remote)
UNSOUND
at
I.1.03
16:00
30m
Talk
Unicode is Evil
UNSOUND
Marco Servetto
Victoria University of Wellington
16:30
30m
Talk
Unsoundness in TypeScript
UNSOUND
Dan Vanderkam
17:00
30m
Talk
Comparing Binaries: Soundness vs. Soundiness
UNSOUND
Jens Dietrich
Victoria University of Wellington
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.03
ICOOOLPS
Session 1
ICOOOLPS
Session 2
ICOOOLPS
Session 3
ICOOOLPS
Session 4
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.03
UNSOUND
Invited Talks 1
UNSOUND
Accepted Contributions
UNSOUND
Invited Talks 2
UNSOUND
Invited Talks 3 (Remote)
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
14:00
30
15:00
30
16:00
30
I.1.03
Student Research Competition
Student Research Competition
Mon 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
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
I.1.03
ICOOOLPS
Pragmatic Approaches to Improving Compiler Correctness
11:00 - 12:00
ICOOOLPS
Beyond Type Erasure: On-demand Specialization for Java Generics
12:00 - 12:30
ICOOOLPS
Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Ext ...
14:00 - 14:30
ICOOOLPS
Automatic railroad diagrams for lexers, parsers, and more! (demo)
14:30 - 14:55
ICOOOLPS
Phoenix: Auto-Vectorisation Reborn (demo)
14:55 - 15:20
ICOOOLPS
Closing remarks
15:20 - 15:30
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.03
UNSOUND
How and when Applicative Bisimulation can be unsound
09:00 - 09:30
UNSOUND
Lean proved this program was correct; then I found a bug
09:30 - 10:00
UNSOUND
Unsoundness in Idris
10:00 - 10:30
UNSOUND
PHP: Type System in Distress
11:00 - 11:45
UNSOUND
Proving False in the TLA+ Proof System
11:45 - 12:30
UNSOUND
The rocky road to the MUST preorder for asynchrony
14:00 - 14:45
UNSOUND
Vibe formalizing and AI slop: sound or unsound?
14:45 - 15:30
UNSOUND
Unicode is Evil
16:00 - 16:30
UNSOUND
Unsoundness in TypeScript
16:30 - 17:00
UNSOUND
Comparing Binaries: Soundness vs. Soundiness
17:00 - 17:30
x
Tue 5 May 01:39