The Scala Workshop is the continuation of the Scala Symposium, providing a forum for researchers and practitioners to discuss the design, implementation, and applications of the Scala programming language. Topics include language features, compiler internals, type systems, libraries, tools, and industrial applications.

The workshop follows a simplified format, focusing on talk proposals rather than full papers. The goal is to facilitate discussion and exchange of ideas without the overhead of formal publications. Talks can cover ongoing research, practical experience, or perspectives on Scala and its ecosystem.

Accepted Presentations

Title
A Brief Critique of The Collection Library
The Scala Workshop 2026
A Denotational Interpretation of Embedded DSLs with Scala 3
The Scala Workshop 2026
Lisa: A Proof Assistant Embedded in Scala
The Scala Workshop 2026
Lorikeet: Flexible code rewriting for Scala 3
The Scala Workshop 2026
Off-Heap Memory Library in Scala 3
The Scala Workshop 2026
Orthologic-Based Subtyping
The Scala Workshop 2026
Refinement Types in Scala with Stainless
The Scala Workshop 2026
Securing AI Agents With Tracked Capabilities in TACIT
The Scala Workshop 2026

Call for Presentations

The Scala Workshop 2026 invites talk proposals on all aspects of the Scala programming language, including but not limited to:

  • Language design and implementation
  • Type systems and functional/object-oriented programming paradigms
  • Compiler development and optimizations
  • Libraries, frameworks, and tooling
  • Applications of Scala in industry and research
  • Experience reports and case studies
  • Performance, scalability, and concurrency
  • Interoperability with other languages and ecosystems

Talks are expected to be approximately 20 minutes, including Q&A.

Submission Format

Submissions:

  • must summarize the planned talk in at most 2 pages;
  • must be typeset in LaTeX using the ACM template with the options \documentclass[sigplan,nonacm]{acmart};
  • must be anonymous.

Submissions that do not follow these requirements will be desk-rejected.

Accepted talk proposals will be published as post-proceedings on the workshop website. Presenters may optionally include their slides.

Evaluation Criteria

Submissions will be evaluated according to the following criteria (not all need to be satisfied):

  • Relevance: Alignment with topics of interest to the Scala community.
  • Clarity: Quality of exposition and structure.
  • Originality: Novelty of ideas, techniques, or applications.
  • Discussion Potential: Ability to inspire engaging and productive discussions.
  • Rigor: Technical accuracy and depth.

How to Submit

We accept submissions through the workshop’s HotCRP instance until March 23, AoE: https://scala-workshop.epfl.ch/.

Note: the submission site is not hosted on hotcrp.com and will require creating a new account.

For questions, contact the organizers at scala-workshop@epfl.ch.

Attendance

Talks must be presented in person in Brussels. Registration fees will be announced on the ECOOP website.

We look forward to your contributions!

Plenary

This program is tentative and subject to change.

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
09:00
30m
Day opening
Welcome to the Scala Workshop!
The Scala Workshop 2026
09:30
30m
Talk
Lorikeet: Flexible code rewriting for Scala 3
The Scala Workshop 2026
10:00
30m
Talk
A Denotational Interpretation of Embedded DSLs with Scala 3
The Scala Workshop 2026
10:30 - 11:00
Coffee breakECOOP Catering at Atrium 0
10:30
30m
Coffee break
Break
ECOOP Catering

11:00 - 12:30
11:00
30m
Talk
Refinement Types in Scala with Stainless
The Scala Workshop 2026
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
12:30 - 14:00
12:30
90m
Lunch
Lunch
ECOOP Catering

14:00 - 15:30
14:00
30m
Talk
Off-Heap Memory Library in Scala 3
The Scala Workshop 2026
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
15:30 - 16:00
Coffee breakECOOP Catering at Atrium 0
15:30
30m
Coffee break
Break
ECOOP Catering

16:00 - 17:30
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
17:30 - 18:30
17:30 - 18:30
Workshop ReceptionECOOP Social Events at Atrium 0
17:30
60m
Social Event
Workshop Reception
ECOOP Social Events