The Scala Workshop 2026
Mon 29 Jun 2026
Brussels, Belgium
co-located with
ECOOP 2026
Toggle navigation
Attending
Venue: Vrije Universiteit Brussel
ECOOP 2026
Weather
Accommodation
Registration
Program
The Scala Workshop Program
Your Program
Mon 29 Jun
Tracks
The Scala Workshop 2026
The Scala Workshop 2026
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
UNSOUND
VeriLang
Verification Languages
VORTEX
Runtime Monitoring
Organization
The Scala Workshop 2026 Committees
Track Committees
The Scala Workshop 2026
Organizing Committee
Program Committee
ECOOP
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
UNSOUND
Program Committee
VeriLang
Verification Languages
Organizing Committee
Program Committee
VORTEX
Runtime Monitoring
Organizing Committee
Program Committee
Search
Series
Series
The Scala Workshop 2026
The Scala Workshop 2025
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
ECOOP 2026
(
series
) /
The Scala Workshop 2026 (
series
) /
Vrije Universiteit Brussel
/
Room information: I.203
Venue
Vrije Universiteit Brussel
Room name
I.203
Floor
2
Room number
I.203
Room Information
Building
I
, floor
2
, room
I.203
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
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 09:15
Opening
ECOOP Technical Papers
at
I.203
09:15 - 10:30
Keynote 1
ECOOP Technical Papers
at
I.203
Chair(s):
Robbert Krebbers
Radboud University Nijmegen
09:15
75m
Keynote
Building trust: a journey from mechanized semantics to verified compilation and beyond
Keynote Speaker
ECOOP Technical Papers
Sandrine Blazy
University of Rennes
11:00 - 12:30
Session 1
ECOOP Technical Papers
at
I.203
14:00 - 15:30
Session 2
ECOOP Technical Papers
at
I.203
16:00 - 16:45
Session 3
ECOOP Technical Papers
at
I.203
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Keynote 1
ECOOP Awards
at
I.203
09:00
90m
Keynote
15 Years of Viper: Building and Evolving a Verification Infrastructure
AITO Dahl-Nygaard Senior Prize
ECOOP Awards
Peter Müller
ETH Zurich
11:00 - 12:30
Session 4
ECOOP Technical Papers
at
I.203
14:00 - 15:30
Session 5
ECOOP Technical Papers
at
I.203
16:00 - 16:45
Session 6
ECOOP Technical Papers
at
I.203
Fri 3 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Keynote 2
ECOOP Awards
at
I.203
09:00
90m
Keynote
Language Design and Implementation Where Paradigms Converge
AITO Dahl-Nygaard Junior Prize
ECOOP Awards
Yizhou Zhang
University of Waterloo
11:00 - 12:30
Session 7
ECOOP Technical Papers
at
I.203
14:00 - 15:30
Session 8
ECOOP Technical Papers
at
I.203
16:00 - 17:10
Session 9
ECOOP Technical Papers
at
I.203
17:10 - 17:25
Closing
ECOOP Technical Papers
at
I.203
Wed 1 Jul
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
I.203
ECOOP Technical Papers
Opening
ECOOP Technical Papers
Keynote 1
ECOOP Technical Papers
Session 1
ECOOP Technical Papers
Session 2
ECOOP Technical Papers
Session 3
Thu 2 Jul
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
I.203
ECOOP Awards
Keynote 1
ECOOP Technical Papers
Session 4
ECOOP Technical Papers
Session 5
ECOOP Technical Papers
Session 6
Fri 3 Jul
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.203
ECOOP Awards
Keynote 2
ECOOP Technical Papers
Session 7
ECOOP Technical Papers
Session 8
ECOOP Technical Papers
Session 9
ECOOP Technical Papers
Closing
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
15
30
45
10:00
15
30
45
I.203
ECOOP Technical Papers
Keynote Speaker
Building trust: a journey from mechanized semantics to verified compila ...
09:15 - 10:30
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
15
30
45
10:00
15
30
45
I.203
ECOOP Awards
AITO Dahl-Nygaard Senior Prize
15 Years of Viper: Building and Evolving a Verification Infrastructure
09:00 - 10:30
Fri 3 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
9:00
15
30
45
10:00
15
30
45
I.203
ECOOP Awards
AITO Dahl-Nygaard Junior Prize
Language Design and Implementation Where Paradigms Converge
09:00 - 10:30
x
Thu 23 Apr 12:15