ECOOP 2022
Mon 6 June - Thu 7 July 2022
Berlin, Germany
Toggle navigation
Attending
ECOOP: Scandic Potsdamer Platz, Berlin
VCOOP: Virtual Meeting(s)
Banquet: Clärchen's Ballhaus
Sponsorship
Conduct
Visa
Accommodation
Registration
Schedule
Conference Impressions
A Taste of ECOOP
Program
Complete Program
Your Program
Filter by Day
Mon 6 Jun
Tue 7 Jun
Wed 8 Jun
Thu 9 Jun
Fri 10 Jun
Sat 11 Jun
Sun 12 Jun
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Sat 18 Jun
Sun 19 Jun
Mon 20 Jun
Tue 21 Jun
Wed 22 Jun
Thu 23 Jun
Fri 24 Jun
Sat 25 Jun
Sun 26 Jun
Mon 27 Jun
Tue 28 Jun
Wed 29 Jun
Thu 30 Jun
Fri 1 Jul
Sat 2 Jul
Sun 3 Jul
Mon 4 Jul
Tue 5 Jul
Wed 6 Jul
Thu 7 Jul
Tracks
ECOOP 2022
Awards
Keynotes
Research Papers
Workshops
Artifacts
Doctoral Symposium
Expert Discussion
Hub Talks
Student Volunteers
Workshops
COP
FTfJP
ICOOOLPS
PAW
PLF
PRIDE
Truffle
VORTEX
VORTEX
- Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
- Hardware-assisted Runtime Monitoring
- To Monitorability and Beyond (online talk)
Co-hosted Symposia
Scala
Organization
ECOOP 2022 Committees
Organizers
Track Committees
Research Papers
Program Committee
Extended Review Committee
Workshops
Artifacts
Doctoral Symposium
Academic Panel
Organizing Committee
Program Committee
Expert Discussion
Hub Talks
Student Volunteers
Contributors
People Index
Workshops
COP
Program Committee
Workshop Organizers
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Organizing Committee
Program Committee
PAW
Organizing Committee
Program Committee
PLF
Organizing Committee
PRIDE
PRIDE 2022 Workshop Organizers
Truffle
Truffle 2022 Workshop Organizers
VORTEX
VORTEX 2022 Workshop Organizers
Co-hosted Symposia
Scala
Keynote
Organizing Committee
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2022
(
series
) /
Niki Vazou
ECOOP 2022 profile
conf.research.org general profile
APLAS 2024 profile
ECOOP 2025 profile
ESOP 2015 profile
FLOPS 2022 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
ISSTA/ECOOP 2024 profile
PLDI 2016 profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Wed 23 Sep 2015
Name:
Niki Vazou
Affiliation:
IMDEA Software Institute
Personal website:
https://nikivazou.github.io/
Contributions
2022
ECOOP
Session Chair of Types (part of Research Papers)
REST: Integrating Term Rewriting with Program Verification
Type systems
Show activities from other conferences
Share
ECOOP 2022-profile
View general profile
x
Sun 17 Nov 15:43