The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025

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.

This year, 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.

News

The workshop will have a joint session with IWACO on Tuesday October 14 on capabilities, featuring Martin Odersky’s keynote as well as two talks.

Keynotes

Dates
Tracks
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 13 Oct

Displayed time zone: Perth change

10:10 - 10:50
10:10
40m
Coffee break
Break
ICFP/SPLASH Catering

10:50 - 12:05
MorningThe Scala Workshop 2025 at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
10:50
10m
Day opening
Welcome to Scala'25
The Scala Workshop 2025
Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
11:00
45m
Keynote
Simpler Scala Builds with Functional and Object-Oriented Programming
The Scala Workshop 2025
K: Li Haoyi Independent
11:45
20m
Talk
Taking away Mutation
The Scala Workshop 2025
Edward Lee University of Waterloo; University of Toronto Scarborough, James You University of Waterloo, Dimi Racordon EPFL, LAMP, Ondřej Lhoták University of Waterloo
12:10 - 13:40
12:10
90m
Lunch
Lunch
ICFP/SPLASH Catering

13:40 - 15:20
NoonThe Scala Workshop 2025 at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
13:40
20m
Talk
The Quest for Mutable Value Semantics in Scala
The Scala Workshop 2025
Dimi Racordon EPFL, LAMP
14:00
20m
Talk
How Functional is Direct-Style?
The Scala Workshop 2025
Adam Warski SoftwareMill
14:20
20m
Talk
ScalaF: Functional Refactoring Suggestions for Scala
The Scala Workshop 2025
Shiv Kiran Bagathi Indian Institute of Technology Bombay, Shrikha Mahanty Indian Institute of Technology Mandi, Dasari Gnana Heemmanshuu Indian Institute of Technology Bombay, Manas Thakur IIT Bombay
14:40
20m
Talk
Debugging for Scala Control Flow DSLs
The Scala Workshop 2025
Finn Hackett University of British Columbia, Ivan Beschastnikh The University of British Columbia
15:00
20m
Talk
Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs
The Scala Workshop 2025
Yaoyu Zhao EPFL, LAMP
15:20 - 16:00
15:20
40m
Coffee break
Break
ICFP/SPLASH Catering

16:00 - 17:40
AfternoonThe Scala Workshop 2025 at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
16:00
20m
Talk
Case Study: Experiences with Implementation of a CAD Compiler in Scala 3
The Scala Workshop 2025
Edward Wang Massachusetts Institute of Technology, Luca Daniel Massachusetts Institute of Technology, Yoni Zohar Bar Ilan University, Clark Barrett Stanford University
16:20
20m
Talk
Logically Qualified Types for Scala 3
The Scala Workshop 2025
16:40
20m
Talk
ScaIR: Type-safe Compiler Framework Compatible with MLIR
The Scala Workshop 2025
Maks Kret The University of Edinburgh, Emilien Bauer The University of Edinburgh, Jackson Woodruff University of Edinburgh, Amir Shaikhha University of Edinburgh
17:00
20m
Talk
Towards an Educational Fragment of Scala
The Scala Workshop 2025
Youyou Cong Institute of Science Tokyo
17:20
20m
Talk
Mentoring in the Scala Ecosystem: Insights from Google Summer of Code
The Scala Workshop 2025
18:00 - 20:00
18:00
2h
Social Event
ICFP SRC Poster Session
ICFP Student Research Competition

Tue 14 Oct

Displayed time zone: Perth change

10:50 - 12:05
Capabilities and ownership in ScalaThe Scala Workshop 2025 at Peony NE
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP

Joint session with IWACO on Tuesday October 14

10:50
35m
Keynote
Where Are We With Scala's Capabilities?
The Scala Workshop 2025
11:25
20m
Talk
System Capybara: Capture Tracking for Ownership and Borrowing
The Scala Workshop 2025
11:45
20m
Talk
Capability-Safe Erasure in Scala
The Scala Workshop 2025
Eugene Flesselle EPFL, Dimi Racordon EPFL, LAMP, Hamza Remmal EPFL, LAMP
13:40 - 15:20
Formal verificationIWACO at Peony NE
13:40
20m
Talk
A Verified Thread-Safe Array in Rust
IWACO
Sasha Pak The Australian National University, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
14:00
20m
Talk
Unfolding Expressions for Gradual Verification
IWACO
Hazel Torek Clemson University, Long Tien Nguyen Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
14:20
20m
Talk
Gradual Verification: Assuring Software Incrementally
IWACO
Jonathan Aldrich Carnegie Mellon University
16:00 - 17:40
Type systemsIWACO at Peony NE
16:00
20m
Talk
Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning
IWACO
Yiyuan Cao Peking University, Taro Sekiyama National Institute of Informatics
16:20
20m
Talk
Type Universes as Kripke Worlds: Memory Management Edition
IWACO
Paulette Koronkevich University of British Columbia

Call for Presentations

The Scala Workshop 2025 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 around 20 minutes long total, including Q&A time.

Submission Format

We encourage submissions in the form of a talk description (about two pages excluding bibliography), outlining the topic, key ideas, and relevance to the Scala community. Submissions should not be anonymous and should be in PDF format. We recommend LaTeX-produced PDFs with the current ACM Template using the option \documentclass[sigplan,nonacm]{acmart}. Talk proposals will be published in form of post-proceedings on the workshop website, where presenters may optionally include their talk slides as well. The page limit is not strictly enforced, but we encourage authors to keep submissions concise and to the point. Please avoid going overboard.

Evaluation Criteria

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

  • Relevance: Alignment with topics of interest to the Scala community.
  • Clarity: Effectiveness of communication and structure of the submission.
  • Originality: Novelty of ideas, techniques, or applications presented.
  • Discussion Potential: Likelihood of inspiring engaging and productive conversations.
  • Rigor: Technical accuracy, depth, and soundness of arguments.

How to Submit

Submissions will be accepted through the workshop’s hotcrp instance. For any questions, feel free to contact the organizers at scala-workshop@epfl.ch.
Note that this is not hosted on hotcrp.com and requires registering with a new account.

Attendance

We will support hybrid participation to make the workshop accessible to a wider audience. While we encourage in-person attendance for the best experience, remote participation will be fully supported to ensure everyone can contribute and engage.

We look forward to your contributions!

Questions? Use the The Scala Workshop contact form.