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!
Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:30 - 17:00 | |||
08:30 8h30mBreak | Coffee available throughout the day ECOOP Catering | ||
09:00 - 10:30 | |||
09:20 10mDay opening | Welcome to the Scala Workshop! The Scala Workshop 2026 Matt Bovel EPFL | ||
09:30 30mTalk | Lorikeet: Flexible code rewriting for Scala 3 The Scala Workshop 2026 File Attached | ||
10:00 30mTalk | A Denotational Interpretation of Embedded DSLs with Scala 3 The Scala Workshop 2026 Anna Herlihy EPFL File Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ECOOP Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Off-Heap Memory Library in Scala 3 The Scala Workshop 2026 Asli Ünlüer EPFL File Attached | ||
12:00 30mTalk | A Brief Critique of The Collection Library The Scala Workshop 2026 File Attached | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ECOOP Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Invited talk: Implementing a protocol-oriented hardware development methodology The Scala Workshop 2026 Guillaume Martres Arteris | ||
14:30 30mTalk | Refinement Types in Scala with Stainless The Scala Workshop 2026 File Attached | ||
15:00 30mTalk | 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 | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ECOOP Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | Invited talk: Metals 2: New approach to large JVM codebases The Scala Workshop 2026 Tomasz Godzik VirtusLab | ||
16:30 30mTalk | Lisa: A Proof Assistant Embedded in Scala The Scala Workshop 2026 Link to publication DOI File Attached | ||
17:00 30mTalk | Orthologic-Based Subtyping The Scala Workshop 2026 DOI Pre-print File Attached | ||
17:30 - 18:30 | |||
17:30 - 18:30 | |||
17:30 60mSocial Event | Workshop Reception ECOOP Social Events | ||