The Scala Workshop 2026
Mon 29 Jun 2026 Brussels, Belgium
co-located with ECOOP 2026
  • 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
  • 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
Peter Müller

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
xThu 23 Apr 15:06

The Scala Workshop 2026


using conf.researchr.org (v1.73.2)
Support page

Tracks

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 2026
MPLR 2026

Workshops

DEBT 2026
FTfJP 2026
ICOOOLPS 2026
PLF+PLAID 2026
UNSOUND 2026
VeriLang 2026
VORTEX 2026

Attending

Venue: Vrije Universiteit Brussel
Weather
Accommodation
Registration
Sign Up