SPLASH 2022 (series) / Peter Ölveczky
Registered user since Wed 6 Apr 2022
Name:Peter Ölveczky
Country:Norway
Affiliation:University of Oslo, Norway
Personal website:http://olveczky.se
Contributions
Using general profile
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
- Attending
- Tracks
- Co-hosted Conferences
- APLAS
- DLS
- GPCE
- SAS
- SLE
- Workshops
- FTSCS Formal Techniques for Safety-Critical Systems
- HATRA Human Aspects of Types and Reasoning Assistants
- LIVE Live Programming
- PAINT Programming Abstractions and Interactive Notations, Tools, and Environments
- REBLS Reactive and Event-Based Languages and Systems
- Unsound Sources of Unsoundness in Verification
- VMIL Virtual Machines and Language Implementations
- Organization
- SPLASH 2022 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- OOPSLA
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- Workshops
- SPLASH-E
- Posters
- Student Research Competition
- Doctoral Symposium
- PLMW
- PLTea
- Student Volunteers
- Contributors
- People Index
- Search
- Series