Program - The Scala Workshop 2026

Detailed Table Session Timeline Detailed Timeline

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 Chair(s): Matt Bovel EPFL

09:20 10m 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 File Attached
10:00 30m Talk		A Denotational Interpretation of Embedded DSLs with Scala 3 The Scala Workshop 2026 Anna Herlihy EPFL File Attached

11:00 - 12:30	Session 2The Scala Workshop 2026 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 2026 Alceste Scalas Technical University of Denmark Link to publication DOI
11:30 30m Talk		Off-Heap Memory Library in Scala 3 The Scala Workshop 2026 Asli Ünlüer EPFL File Attached
12:00 30m Talk		A Brief Critique of The Collection Library The Scala Workshop 2026 Dimi Racordon HES-SO Valais/Wallis, Nguyen Pham EPFL, LAMP File Attached

14:00 - 15:30	Session 3The Scala Workshop 2026 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 2026 Guillaume Martres Arteris
14:30 30m Talk		Refinement Types in Scala with Stainless The Scala Workshop 2026 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 2026 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 4The Scala Workshop 2026 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 2026 Tomasz Godzik VirtusLab
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 Link to publication DOI File Attached
17:00 30m Talk		Orthologic-Based Subtyping The Scala Workshop 2026 Simon Guilloud EPFL, Viktor Kunčak EPFL, Switzerland DOI Pre-print File Attached

The Scala Workshop 2026 Program

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

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