ECOOP 2023
Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States
co-located with ECOOP and ISSTA 2023
  • Attending
    • Venue: Seattle
    • ECOOP and ISSTA 2023
    • Conduct
    • Covid-19
    • Accommodation
    • Registration
    • Visas
  • Program
    • ECOOP 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 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 and ISSTA 2023 (series) / VORTEX 2023 (series) / VORTEX 2023, 6th Workshop on Verification and Monitoring at Runtime Execution /

Program Committee VORTEX

Davide Ancona

Davide Ancona Co-chair

DIBRIS, University of Genova, Italy

Italy

Giorgio Audrito

Giorgio Audrito Co-chair

Università di Torino

Italy

Antonis Achilleos

Antonis Achilleos

Reykjavik University

small-avatar

Daniela Briola

University of Milano Bicocca

Italy

Marie Farrell

Marie Farrell

The University of Manchester

United Kingdom

small-avatar

Angelo Ferrando

DIBRIS, Università di Genova

Italy

José Fragoso Santos

José Fragoso Santos

INESC-ID/Instituto Superior Técnico, Portugal

Adrian Francalanza

Adrian Francalanza

University of Malta

Malta

Hannah Gommerstadt

Hannah Gommerstadt

Vassar College

Klaus Havelund

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Laura Nenzi

Laura Nenzi

University of Trieste

Italy

small-avatar

Srinivas Pinisetty

Indian Institute of Technology Bhubaneswar

small-avatar

Jose Ignacio Requeno

Complutense University of Madrid

Kristin Yvonne Rozier

Kristin Yvonne Rozier

Iowa State University

Alceste Scalas

Alceste Scalas

Technical University of Denmark

Denmark

Volker Stolz

Volker Stolz

Høgskulen på Vestlandet

Norway

small-avatar

Gianluca Torta

Dipartimento di Informatica - Università di Torino, Italy

Nobuko Yoshida

Nobuko Yoshida

University of Oxford

United Kingdom

xFri 9 May 14:45

ECOOP 2023

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Awards
Keynotes
Research Papers
Artifacts

ECOOP and ISSTA 2023

Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops

Workshops

COP 2023
DEBT 2023
FTfJP 2023
FUZZING 2023
ICOOOLPS 2023
VORTEX 2023

Attending

Venue: Seattle
ECOOP/ISSTA Code of Conduct
ECOOP/ISSTA Covid-19 Disclosure & Liability Waiver
Accommodation
ECOOP / ISSTA 2023 Registration Is Open
Visas