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
File Attached
A Denotational Interpretation of Embedded DSLs with Scala 3
The Scala Workshop 2026
File Attached
Lisa: A Proof Assistant Embedded in Scala
The Scala Workshop 2026
Link to publication DOI File Attached
Lorikeet: Flexible code rewriting for Scala 3
The Scala Workshop 2026
File Attached
Off-Heap Memory Library in Scala 3
The Scala Workshop 2026
File Attached
Orthologic-Based Subtyping
The Scala Workshop 2026
DOI Pre-print File Attached
Refinement Types in Scala with Stainless
The Scala Workshop 2026
File Attached
Securing AI Agents With Tracked Capabilities in TACIT
The Scala Workshop 2026
Link to publication DOI File Attached

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 + 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
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

08:30 - 17:00
Coffee available throughout the dayECOOP Catering at Coffee corner (Atrium 0)
08:30
8h30m
Break
Coffee available throughout the day
ECOOP Catering

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
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
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
12:30 - 14:00
12:30
90m
Lunch
Lunch
ECOOP Catering

15:30 - 16:00
Coffee breakECOOP Catering at Atrium 0
15:30
30m
Coffee break
Break
ECOOP Catering

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