[TYPES/announce] [VORTEX 2026] - Call for Papers

[Davide Ancona]

  VORTEX 2026, Workshop co-located with ECOOP 2026, Brussels, Belgium
 9th International Workshop on Verification and Monitoring at Runtime Execution
 (https://urldefense.com/v3/__https://2026.ecoop.org/home/vortex-2026__;!!IBzWLUs!V3GAJX6mLDIBv6UkIu5cOwMkBc1TO0h6oAhUbDN91wIKiIWPOx_1-D0pV_larHxh4zbyGQ1NW7Oj8QY4Qbch3n9cnNsqw8L3ytZB3so$ )

Important Dates
---------------
* Submission deadline: Mar 31, 2026 AoE
* Author notification: Apr 15, 2026
* Early registration deadline: May 28, 2025
* Camera ready submission: Apr 30, 2026
* VORTEX workshop: June 30, 2026
* ECOOP conference: June 29-July 3, 2026

================================================================================

Runtime Monitoring (RM) is concerned with the runtime analysis of software
and hardware system executions in order to infer properties relating to system
behaviour. Example applications include telemetry, log aggregation, threshold
alerting, performance monitoring and adherence to correctness properties
(more commonly referred to as runtime verification). 

RM has gained popularity as a solution to ensure software reliability, bridging
the gap between formal verification and testing: on the one hand, the notion of
event trace abstracts over system executions, thus favoring system agnosticism
to better support reuse and interoperability; on the other hand, monitoring a
system offers more opportunities for addressing error recovery, self-adaptation,
and issues that go beyond software reliability.

The goal of VORTEX is to bring together researchers contributing on all aspects
of RM covering and possibly integrating both theoretical and practical aspects,
with particular focus on hybrid approaches inspired by formal methods, program
analysis, testing, and artificial intelligence.


Call for Papers
---------------

Submissions are expected to be in English and to belong to one of the following two categories:

* long papers, up to 10 pages in acmart sigconf style: unpublished self-contained work
* short papers, up to 5 pages in acmart sigconf style: original contribution, but not yet fully developed

Authors of submissions that clearly fall within the topics of interest will be invited to present their work at the workshop.

Topics of interest include, but are not limited to:

*    monitor construction and synthesis techniques
*    program adaptation
*    monitoring-oriented programming
*    runtime enforcement, fault detection, recovery, and repair
*    combination of static and dynamic analyses
*    specification formalisms for RM
*    specification mining
*    monitoring concurrent/distributed systems
*    RM for safety and security
*    RM for the Internet of Things
*    industrial applications
*    integrating RM, formal verification, testing, and artificial intelligence
*    tool development
*    instrumentation techniques for RM
*    surveys on different RM tools, formal frameworks, or methodologies
*    presentations of RM tools
*    techniques for enhancing code coverage in offline RM


Papers must be submitted electronically via EasyChair (https://urldefense.com/v3/__https://easychair.org/conferences/?conf=vortex2026__;!!IBzWLUs!V3GAJX6mLDIBv6UkIu5cOwMkBc1TO0h6oAhUbDN91wIKiIWPOx_1-D0pV_larHxh4zbyGQ1NW7Oj8QY4Qbch3n9cnNsqw8L3T2ZnzVw$ ); the submission deadline is March 31st AoE. Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages.

Remark: Attendance should be in person, online presentations at the workshop will be supported only in case of compelling circumstances.

Proceedings
-----------

The first phase of the review process has the sole aim of selecting those submissions that clearly fall within the topics of interest of VORTEX.
The corresponding authors will receive an invitation to present their work at the workshop, along with reviewers' suggestions for extending
the manuscript, in case its contents are considered significant for the publication of an extended version.

Based on the first-phase reviews, authors of selected papers will be invited to submit an extended version for publication.
The extended submissions will undergo a standard reviewing process, keeping (at least partly) the reviewers of the first phase.
Details on the scheduling of the second reviewing phase and on the publication venue will be provided during the workshop.

Keynote Speakers
-------------------
Yliès Falcone, Univ. Grenoble Alpes, Inria
Adrian Francalanza, University of Malta
Alceste Scalas, Technical University of Denmark

Workshop Organizers
-------------------

* Davide Ancona, University of Genova, Italy

* Giorgio Audrito, University of Torino, Italy	

Program Committee
-----------------

* Diana Carolina Benjumea Hernandez, The University of Manchester, UK
* Silvia Bonfanti, University of Bergamo, Italy
* Michele Chiari, TU Wien and AIT Austrian Institute of Technology, Austria
* Christian Colombo, University of Malta, Malta
* Marie Farrell, Maynooth University, Ireland
* Angelo Ferrando, University of Modena and Reggio Emilia, Italy
* Carla Ferreira, NOVA University Lisbon, Portugal
* Hannah Gommerstadt, Vassar College, US
* Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, US
* Sung-Shik Jongmans, University of Groningen, Netherlands
* Srinivas Pinisetty, Indian Institute of Technology Bhubaneswar, India
* César Sánchez, IMDEA Software Institute, Spain
* Volker Stolz, Høgskulen på Vestlandet, Norway