ECOOP 2023
Mon 17 - Fri 21 July 2023
Seattle (University of Washington campus), Washington, United States
co-located with
ECOOP and ISSTA 2023
Toggle navigation
Attending
Venue: Seattle
ECOOP and ISSTA 2023
Conduct
Covid-19
Accommodation
Registration
Visas
Program
Complete Program
Your Program
Schedule Overview
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
ECOOP 2023
Awards
Keynotes
Research Papers
Artifacts
ECOOP and ISSTA 2023
Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Workshops
COP
DEBT
FTfJP
FUZZING
ICOOOLPS
VORTEX
Organization
ECOOP 2023 Committees
Organizing Committee
Track Committees
Research Papers
Program Committee
Extended Review Committee and External Reviewers
Artifacts
ECOOP and ISSTA
Doctoral Symposium
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Organizing Committee
Program Committee
DEBT
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
FUZZING
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
VORTEX
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 and ISSTA 2023
(
series
) /
ECOOP 2023
(
series
) /
Arnaud Daby-Seesaram
ECOOP and ISSTA 2023 profile
conf.research.org general profile
ICFP 2023 profile
Registered user since Sat 5 Aug 2023
Name:
Arnaud Daby-Seesaram
Affiliation:
ENS Paris Saclay
Contributions
2023
ECOOP
Modular Verification of State-Based CRDTs in Separation Logic
Show activities from other conferences
Share
ECOOP and ISSTA 2023-profile
View general profile
x
Tue 12 Nov 20:19