VORTEX 2025, Workshop co-located with ECOOP 2025, Bergen, Norway
8th International Workshop on Verification and Monitoring at Runtime Execution
(https://2025.ecoop.org/home/vortex-2025)

Important Dates
---------------
* Abstract submission deadline: April 25, 2025 AoE
* Submission deadline: May 2, 2025 AoE
* Author notification: May 16, 2025
* Early registration deadline: May 28, 2025
* VORTEX workshop: July 4, 2025
* ECOOP conference: June 30-July 2, 2025

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

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 paper, page limit 12 in jot style: unpublished self-contained work
* short paper, page limit 6 in jot style: original contribution, not yet fully developed

Topics of interest include, but are not limited to, the following ones:

* 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://easychair.org/conferences/?conf=vortex2025). The submission deadlines are **April 25th AoE** (abstract) and **May 2nd AoE** (paper). Authors should use the jot style (https://www.jot.fm/templates/jot.zip).

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


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

Authors of selected papers will be invited to contribute with extended versions to be included in a special issue of the Journal of Object Technology - JOT (https://www.jot.fm).

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

* Davide Ancona, University of Genova, Italy

* Giorgio Audrito, University of Torino, Italy