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
    • Conduct
  • 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
      • Social Events
      • 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) / Pascal Weisenburger
  • conf.research.org general profile
  • APLAS 2025 profile
  • ECOOP 2019 profile
  • ECOOP 2022 profile
  • ECOOP 2025 profile
  • ECOOP and ISSTA 2018 profile
  • ECOOP and ISSTA 2021 profile
  • ECOOP and ISSTA 2023 profile
  • ESEC/FSE 2021 profile
  • ESEC/FSE 2022 profile
  • FSE 2025 profile
  • ICSE 2022 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLDI 2026 profile
  • POPL 2025 profile
  • SPLASH 2016 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • ‹Programming› 2018 profile
  • ‹Programming› 2019 profile
  • ‹Programming› 2020 profile
  • ‹Programming› 2021 profile
  • ‹Programming› 2022 profile
  • ‹Programming› 2023 profile
Pascal Weisenburger

Registered user since Thu 19 Apr 2018

Name:Pascal Weisenburger
Affiliation:University of St. Gallen
Personal website: https://programming-group.com/members/weisenburger
GitHub: https://github.com/pweisenburger
Research interests:Programming Languages, Multitier Programming, Distributed Programming, Reactive Programming, Distributed Systems

Contributions

2026

VeriLang

  • Proof Primitives for Equality Saturation-based Automated Provers

Show activities from other conferences

Share
Using general profile
xSun 7 Jun 22:49

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
Social Events

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
Conduct
Sign Up