The Scala Workshop 2026
Mon 29 Jun 2026
Brussels, Belgium
co-located with
ECOOP 2026
Toggle navigation
Attending
Venue: Vrije Universiteit Brussel
ECOOP 2026
Weather
Accommodation
Registration
Program
The Scala Workshop Program
Your Program
Mon 29 Jun
Tracks
The Scala Workshop 2026
The Scala Workshop 2026
ECOOP 2026
Awards
Technical Papers
Artifact Evaluation
Workshops
Demos
ECOOP Academy
Doctoral Symposium
Posters
Student Research Competition
Student Volunteers
Co-hosted Conferences
GPCE
MPLR
Workshops
DEBT
Future Debugging Techniques
FTfJP
Formal Techniques for Judicious Programming
ICOOOLPS
Lang Implementation & Optimization
PLF+PLAID
Decentralized Local-First Software
UNSOUND
VeriLang
Verification Languages
VORTEX
Runtime Monitoring
Organization
The Scala Workshop 2026 Committees
Track Committees
The Scala Workshop 2026
Organizing Committee
Program Committee
ECOOP
Awards
Technical Papers
Artifact Evaluation
Workshops
Demos
ECOOP Academy
Doctoral Symposium
Posters
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
MPLR
Organizing Committee
Program Committee
Workshops
DEBT
Future Debugging Techniques
Organizing Committee
Program Committee
Steering Committee
FTfJP
Formal Techniques for Judicious Programming
Program Committee
Steering Committee
ICOOOLPS
Lang Implementation & Optimization
Organizing Committee
Program Committee
PLF+PLAID
Decentralized Local-First Software
Organizing Committee
Program Committee
UNSOUND
Program Committee
VeriLang
Verification Languages
Organizing Committee
Program Committee
VORTEX
Runtime Monitoring
Organizing Committee
Program Committee
Search
Series
Series
The Scala Workshop 2026
The Scala Workshop 2025
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
ECOOP 2026
(
series
) /
The Scala Workshop 2026 (
series
) /
Peter Müller
ECOOP 2026 profile
conf.research.org general profile
APLAS 2025 profile
ATVA 2025 profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ESOP 2015 profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
ICSE 2020 profile
ISSTA 2019 profile
ISSTA 2022 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
PLDI 2026 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2024 profile
POPL 2025 profile
POPL 2027 profile
SPLASH 2011 profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2017 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Wed 18 Jun 2014
Name:
Peter Müller
Country:
Switzerland
Affiliation:
ETH Zurich
Personal website:
http://www.pm.inf.ethz.ch
Contributions
2026
ECOOP
15 Years of Viper: Building and Evolving a Verification Infrastructure
Show activities from other conferences
Share
Using general profile
x
Thu 23 Apr 15:06