Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Info
ECOOP and ISSTA 2021
Sponsorship
Sponsors and Supporters
Program
ECOOP Program
Your Program
ECOOP and ISSTA 2021
Schedule Overview
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
ECOOP 2021
ECOOP Technical Papers
ECOOP Artifacts
ECOOP Keynotes
ECOOP and ISSTA 2021
ECOOP and ISSTA Opening
Sponsors
Summer School
Doctoral Symposium
Discussions with Experts
Posters
Workshops
2022 Previews
Co-hosted Conferences
REBASE
Workshops
AISTA
COP
FTfJP
ICOOOLPS
IWACO
[Cancelled]
VORTEX
WOSCA
[Cancelled]
Organization
ECOOP 2021 Committees
Organizing Committee
Track Committees
ECOOP Technical Papers
ECOOP Artifacts
ECOOP and ISSTA
Summer School
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Discussions with Experts
Posters
Workshops
Contributors
People Index
Co-hosted Conferences
REBASE
REBASE
Workshops
AISTA
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Program Committee
Organizing Committee
IWACO
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WOSCA
N/A - check homepage
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 2021
(
series
) /
ECOOP 2021
(
series
) /
Etienne Renault
ECOOP and ISSTA 2021 profile
conf.research.org general profile
APSEC 2022 profile
Not registered as user yet
Name:
Etienne Renault
Country:
France
Affiliation:
LRDE
Contributions
2021
SPIN
Go2Pins: a framework for the LTL verification of Go programs
Show activities from other conferences
Share
ECOOP and ISSTA 2021-profile
View general profile
x
Tue 3 Dec 20:15