<div dir="ltr">  VORTEX 2025, Workshop co-located with ECOOP 2025, Bergen, Norway<br> 8th International Workshop on Verification and Monitoring at Runtime Execution<br> (<a href="https://urldefense.com/v3/__https://2025.ecoop.org/home/vortex-2025__;!!IBzWLUs!QKsNL6kMLC1zxfryfoB7KaBgRDnhdgJtAHLpCtVYG61YwmQSDylApozQS5XecLUfu-_JcsvcKHQYL7X69flk13VpQtOiUpnlegIXtLum7Q$">https://2025.ecoop.org/home/vortex-2025</a>)<br><br>Important Dates<br>---------------<br>* Abstract submission deadline: April 25, 2025 AoE<br>* Submission deadline: May 2, 2025 AoE<br>* Author notification: May 16, 2025<br>* Early registration deadline: May 28, 2025<br>* VORTEX workshop: July 4, 2025<br>* ECOOP conference: June 30-July 2, 2025<br><br>=========================================================<br><br>Runtime Monitoring (RM) is concerned with the runtime analysis of software<br>and hardware system executions in order to infer properties relating to system<br>behaviour. Example applications include telemetry, log aggregation, threshold<br>alerting, performance monitoring and adherence to correctness properties<br>(more commonly referred to as runtime verification).<br><br>RM has gained popularity as a solution to ensure software reliability, bridging<br>the gap between formal verification and testing: on the one hand, the notion of<br>event trace abstracts over system executions, thus favoring system agnosticism<br>to better support reuse and interoperability; on the other hand, monitoring a<br>system offers more opportunities for addressing error recovery, self-adaptation,<br>and issues that go beyond software reliability.<br><br>The goal of VORTEX is to bring together researchers contributing on all aspects<br>of RM covering and possibly integrating both theoretical and practical aspects,<br>with particular focus on hybrid approaches inspired by formal methods, program<br>analysis, testing, and artificial intelligence.<br><br><br>Call for Papers<br>---------------<br><br>Submissions are expected to be in English and to belong to one of the following<br>two categories:<br><br>*  long paper, page limit 12 in jot style: unpublished self-contained work<br>*  short paper, page limit 6 in jot style: original contribution, not yet fully developed<br><br>Topics of interest include, but are not limited to, the following ones:<br><br>*    monitor construction and synthesis techniques<br>*    program adaptation<br>*    monitoring oriented programming<br>*    runtime enforcement, fault detection, recovery and repair<br>*    combination of static and dynamic analyses<br>*    specification formalisms for RM<br>*    specification mining<br>*    monitoring concurrent/distributed systems<br>*    RM for safety and security<br>*    RM for the Internet of Things<br>*    industrial applications<br>*    integrating RM, formal verification, testing, and artificial intelligence<br>*    tool development<br>*    instrumentation techniques for RM<br>*    surveys on different RM tools, formal frameworks or methodologies<br>*    presentations of RM tools<br>*    techniques for enhancing code coverage in offline RM<br><br>Papers must be submitted electronically via EasyChair (<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=vortex2025__;!!IBzWLUs!QKsNL6kMLC1zxfryfoB7KaBgRDnhdgJtAHLpCtVYG61YwmQSDylApozQS5XecLUfu-_JcsvcKHQYL7X69flk13VpQtOiUpnlegKNEaOFGQ$">https://easychair.org/conferences/?conf=vortex2025</a>). The submission deadlines are **April 25th AoE** (abstract) and **May 2nd AoE** (paper). Authors should use the jot style (<a href="https://urldefense.com/v3/__https://www.jot.fm/templates/jot.zip__;!!IBzWLUs!QKsNL6kMLC1zxfryfoB7KaBgRDnhdgJtAHLpCtVYG61YwmQSDylApozQS5XecLUfu-_JcsvcKHQYL7X69flk13VpQtOiUpnlegJYE0iPYQ$">https://www.jot.fm/templates/jot.zip</a>).<br><br>*Remark*: Attendance should be in person, online presentations at the workshop will be supported only in case of compelling circumstances.<br><br><br>Proceedings<br>-----------<br><br>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 (<a href="https://urldefense.com/v3/__https://www.jot.fm__;!!IBzWLUs!QKsNL6kMLC1zxfryfoB7KaBgRDnhdgJtAHLpCtVYG61YwmQSDylApozQS5XecLUfu-_JcsvcKHQYL7X69flk13VpQtOiUpnlegIHllDKAw$">https://www.jot.fm</a>).<br><br>Workshop Organizers<br>-------------------<br><br>* Davide Ancona, University of Genova, Italy<br><br>* Giorgio Audrito, University of Torino, Italy</div>