Mon 29 Jun 2026 16:00 - 16:30 at I.1.08 - Session 4 Chair(s): Oliver Bračevac

Metals is the Scala and Java Language Server, providing IDE features within editors such as Visual Studio Code, Cursor, Zed, and Helix. This makes it essential for anyone looking to use new agentic tools. Many companies are now utilizing LLM trends to boost developer performance, but a major challenge has has been that Metals becomes less efficient as codebases scale—a common issue in large organizations.

Metals 2 is a new indexing and compilation approach, designed to make indexing as fast as possible and ensure the codebase remains functional even if parts of the project fail to compile. Applying this to both Scala and Java code, Metals 2 aims to become the premier JVM language server. We are currently cooperating with multiple large monorepos testing and further enriching this approach.

Let’s explore how this can enhance developer workflow to show the Scala developers that tooling can finally be great.

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

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