Program - The Scala Workshop 2026

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

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, ParisSelect other time zone

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 programSpecify 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 1The Scala Workshop 2026 at I.1.08

09:00 30m Day opening		Welcome to the Scala Workshop! The Scala Workshop 2026 Matt Bovel EPFL
09:30 30m Talk		Lorikeet: Flexible code rewriting for Scala 3 The Scala Workshop 2026 Sidonie Bouthors EPFL, Kacper F. Korban EPFL, Clément Pit-Claudel EPFL
10:00 30m Talk		A Denotational Interpretation of Embedded DSLs with Scala 3 The Scala Workshop 2026 Anna Herlihy EPFL

11:00 - 12:30	Session 2The Scala Workshop 2026 at I.1.08

11:00 30m Talk		Refinement Types in Scala with Stainless The Scala Workshop 2026 Katarzyna Marek EPFL, Samuel Chassot EPFL, LARA, Matt Bovel EPFL
11:30 30m Talk		Invited talk 1: TBA The Scala Workshop 2026
12:00 30m Talk		Securing AI Agents With Tracked Capabilities in TACIT The Scala Workshop 2026 Yaoyu Zhao EPFL, LAMP, Martin Odersky EPFL, Yichen Xu EPFL, Oliver Bračevac EPFL, LAMP, Nguyen Pham EPFL, LAMP

14:00 - 15:30	Session 3The Scala Workshop 2026 at I.1.08

14:00 30m Talk		Off-Heap Memory Library in Scala 3 The Scala Workshop 2026 Asli Ünlüer EPFL
14:30 30m Talk		Invited talk 2: TBA The Scala Workshop 2026
15:00 30m Talk		A Brief Critique of The Collection Library The Scala Workshop 2026 Dimi Racordon HES-SO Valais/Wallis, Nguyen Pham EPFL, LAMP

16:00 - 17:30	Session 4The Scala Workshop 2026 at I.1.08

16:00 30m Talk		TBA The Scala Workshop 2026
16:30 30m Talk		Lisa: A Proof Assistant Embedded in Scala The Scala Workshop 2026 Sankalp Gambhir Ecole Polytechnique Federale de Lausanne (EPFL), Simon Guilloud EPFL
17:00 30m Talk		Orthologic-Based Subtyping The Scala Workshop 2026 Simon Guilloud EPFL, Viktor Kunčak EPFL, Switzerland

The Scala Workshop 2026 Program

This program is tentative and subject to change.

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

ECOOP 2026

Co-hosted Conferences

Workshops

The Scala Workshop 2026 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Get Calendar (iCal)

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change