ECOOP 2026
Mon 29 June - Fri 3 July 2026
Brussels, Belgium
Toggle navigation
Attending
Venue: Vrije Universiteit Brussel
Weather
Accommodation
Registration
Sponsorship
Program
ECOOP Program
Your Program
Schedule Overview
Mon 29 Jun
Tue 30 Jun
Wed 1 Jul
Thu 2 Jul
Fri 3 Jul
Tracks
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
The Scala Workshop
UNSOUND
VeriLang
Verification Languages
VORTEX
Runtime Monitoring
Organization
ECOOP 2026 Committees
Organizing Committee
Track Committees
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
The Scala Workshop
Organizing Committee
Program Committee
UNSOUND
Program Committee
VeriLang
Verification Languages
Organizing Committee
Program Committee
VORTEX
Runtime Monitoring
Organizing Committee
Program Committee
Search
Series
Series
ECOOP 2026
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 2026
(
series
) /
George Zakhour
ECOOP 2026 profile
conf.research.org general profile
Registered user since Wed 7 Jul 2021
Name:
George Zakhour
Contributions
2026
VeriLang
Proof Primitives for Equality Saturation-based Automated Provers
Show activities from other conferences
Share
Using general profile
x
Wed 29 Apr 20:07