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.08
Venue
Vrije Universiteit Brussel
Room name
I.1.08
Floor
1
Room number
I.1.08
Room Information
Building
I
, floor
1
, room
I.1.08
https://link.mazemap.com/RA0PsEYC
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 - 10:30
Session 1
The Scala Workshop
at
I.1.08
Chair(s):
Matt Bovel
EPFL
09:20
10m
Day opening
Welcome to the Scala Workshop!
The Scala Workshop
Matt Bovel
EPFL
09:30
30m
Talk
Lorikeet: Flexible code rewriting for Scala 3
The Scala Workshop
Sidonie Bouthors
EPFL
,
Kacper F. Korban
EPFL
,
Clément Pit-Claudel
EPFL
File Attached
10:00
30m
Talk
A Denotational Interpretation of Embedded DSLs with Scala 3
The Scala Workshop
Anna Herlihy
EPFL
File Attached
11:00 - 12:30
Session 2
The Scala Workshop
at
I.1.08
Chair(s):
Kacper F. Korban
EPFL
11:00
30m
Talk
Invited talk: JoinActors: A Modular Library for Actors with Join Patterns
The Scala Workshop
Alceste Scalas
Technical University of Denmark
Link to publication
DOI
11:30
30m
Talk
Off-Heap Memory Library in Scala 3
The Scala Workshop
Asli Ünlüer
EPFL
File Attached
12:00
30m
Talk
A Brief Critique of The Collection Library
The Scala Workshop
Dimi Racordon
HES-SO Valais/Wallis
,
Nguyen Pham
EPFL, LAMP
File Attached
14:00 - 15:30
Session 3
The Scala Workshop
at
I.1.08
Chair(s):
Simon Guilloud
EPFL
14:00
30m
Talk
Invited talk: Implementing a protocol-oriented hardware development methodology
The Scala Workshop
Guillaume Martres
Arteris
14:30
30m
Talk
Refinement Types in Scala with Stainless
The Scala Workshop
Katarzyna Marek
EPFL
,
Samuel Chassot
EPFL, LARA
,
Matt Bovel
EPFL
File Attached
15:00
30m
Talk
Securing AI Agents With Tracked Capabilities in TACIT
The Scala Workshop
Yaoyu Zhao
EPFL, LAMP
,
Martin Odersky
EPFL
,
Yichen Xu
EPFL
,
Oliver Bračevac
EPFL, LAMP
,
Nguyen Pham
EPFL, LAMP
Link to publication
DOI
File Attached
16:00 - 17:30
Session 4
The Scala Workshop
at
I.1.08
Chair(s):
Oliver Bračevac
EPFL, LAMP
16:00
30m
Talk
Invited talk: Metals 2: New approach to large JVM codebases
The Scala Workshop
Tomasz Godzik
VirtusLab
16:30
30m
Talk
Lisa: A Proof Assistant Embedded in Scala
The Scala Workshop
Sankalp Gambhir
Ecole Polytechnique Federale de Lausanne (EPFL)
,
Simon Guilloud
EPFL
Link to publication
DOI
File Attached
17:00
30m
Talk
Orthologic-Based Subtyping
The Scala Workshop
Simon Guilloud
EPFL
,
Viktor Kunčak
EPFL, Switzerland
DOI
Pre-print
File Attached
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Welcome and Keynote
FTfJP
at
I.1.08
09:15
5m
Day opening
Welcome
FTfJP
Ákos Hajdu
Meta
09:20
60m
Keynote
Expressive Modular Verification of Termination of Busy-Waiting Programs and Deadlock-Freedom of Primitive Blocking Programs
FTfJP
Bart Jacobs
DistriNet, Dept. CS, KU Leuven
11:00 - 12:30
Papers 1
FTfJP
at
I.1.08
11:00
30m
Talk
A monadic interpreter and type-and-effect checker
FTfJP
Stefano Raviola
Universita' del Piemonte Orientale
,
Paola Giannini
University of Eastern Piedmont
,
Francesco Dagnino
University of Genoa
11:30
30m
Talk
A Typestate Approach to Purpose-aware Programming
FTfJP
Joan Montas
University of Massachusetts, Lowell
,
Samuel Dodson
University of Massachusetts, Lowell
,
Anitha Gollamudi
University of Massachusetts Lowell
,
Matteo Cimini
University of Massachusetts Lowell
Pre-print
12:00
30m
Talk
Formal Semantics and Type System for Vega Data Transformations
FTfJP
Kristýna Petrlíková
Charles University
,
Tomas Petricek
Charles University
Pre-print
14:00 - 15:30
Keynote
FTfJP
at
I.1.08
14:00
60m
Keynote
Automated Verification of Concurrent Go Programs
FTfJP
Julien Lange
Royal Holloway, University of London
16:00 - 17:30
Papers 2
FTfJP
at
I.1.08
16:00
30m
Talk
A New Interaction Concept for Interactive and Autoactive Program Verification
FTfJP
Wolfram Pfeifer
Karlsruhe Institute of Technology (KIT)
,
Mattias Ulbrich
KIT
,
Daniel Drodt
Technical University of Darmstadt
Pre-print
16:30
30m
Talk
Evaluating LLM-Generated ACSL Annotations for Formal Verification
FTfJP
Arshad Beg
Maynooth University, Ireland
,
Diarmuid O'Donoghue
Maynooth University, Ireland
,
Rosemary Monahan
National University of Ireland
Pre-print
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.08
The Scala Workshop
Session 1
The Scala Workshop
Session 2
The Scala Workshop
Session 3
The Scala Workshop
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.08
FTfJP
Welcome and Keynote
FTfJP
Papers 1
FTfJP
Keynote
FTfJP
Papers 2
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
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
I.1.08
The Scala Workshop
Welcome to the Scala Workshop!
09:20 - 09:30
The Scala Workshop
Lorikeet: Flexible code rewriting for Scala 3
09:30 - 10:00
The Scala Workshop
A Denotational Interpretation of Embedded DSLs with Scala 3
10:00 - 10:30
The Scala Workshop
Invited talk: JoinActors: A Modular Library for Actors with Join Patterns
11:00 - 11:30
The Scala Workshop
Off-Heap Memory Library in Scala 3
11:30 - 12:00
The Scala Workshop
A Brief Critique of The Collection Library
12:00 - 12:30
The Scala Workshop
Invited talk: Implementing a protocol-oriented hardware development met ...
14:00 - 14:30
The Scala Workshop
Refinement Types in Scala with Stainless
14:30 - 15:00
The Scala Workshop
Securing AI Agents With Tracked Capabilities in TACIT
15:00 - 15:30
The Scala Workshop
Invited talk: Metals 2: New approach to large JVM codebases
16:00 - 16:30
The Scala Workshop
Lisa: A Proof Assistant Embedded in Scala
16:30 - 17:00
The Scala Workshop
Orthologic-Based Subtyping
17:00 - 17: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
I.1.08
FTfJP
Welcome
09:15 - 09:20
FTfJP
Expressive Modular Verification of Termination of Busy-Waiting Programs ...
09:20 - 10:20
FTfJP
A monadic interpreter and type-and-effect checker
11:00 - 11:30
FTfJP
A Typestate Approach to Purpose-aware Programming
11:30 - 12:00
FTfJP
Formal Semantics and Type System for Vega Data Transformations
12:00 - 12:30
FTfJP
Automated Verification of Concurrent Go Programs
14:00 - 15:00
FTfJP
A New Interaction Concept for Interactive and Autoactive Program Verifi ...
16:00 - 16:30
FTfJP
Evaluating LLM-Generated ACSL Annotations for Formal Verification
16:30 - 17:00
x
Tue 8 Sep 17:42