VORTEX 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
Program
Complete Program
Your Program
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
VORTEX 2023
VORTEX 2023
ECOOP and ISSTA 2023
Keynotes
Organization
VORTEX 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VORTEX 2024
VORTEX 2023
VORTEX 2022
VORTEX 2021
VORTEX 2020
VORTEX 2019
VORTEX 2018
VORTEX 2017
VORTEX 2016
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
Co-chair
DIBRIS, University of Genova, Italy
Italy
Giorgio Audrito
Co-chair
Università di Torino
Italy
Antonis Achilleos
Reykjavik University
Daniela Briola
University of Milano Bicocca
Italy
Marie Farrell
The University of Manchester
United Kingdom
Angelo Ferrando
DIBRIS, Università di Genova
Italy
José Fragoso Santos
INESC-ID/Instituto Superior Técnico, Portugal
Adrian Francalanza
University of Malta
Malta
Hannah Gommerstadt
Vassar College
Klaus Havelund
NASA/Caltech Jet Propulsion Laboratory
United States
Laura Nenzi
University of Trieste
Italy
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
Jose Ignacio Requeno
Complutense University of Madrid
Kristin Yvonne Rozier
Iowa State University
Alceste Scalas
Technical University of Denmark
Denmark
Volker Stolz
Høgskulen på Vestlandet
Norway
Gianluca Torta
Dipartimento di Informatica - Università di Torino, Italy
Nobuko Yoshida
University of Oxford
United Kingdom
x
Fri 15 Nov 08:25