posted by user: abbasho || 1165 views || tracked by 3 users: [display]

RV 2024 : Runtime Verification 2024

FacebookTwitterLinkedInGoogle


Conference Series : Runtime Verification
 
Link: https://bouncmpe.github.io/rv24/
 
When Oct 15, 2024 - Oct 18, 2024
Where Istanbul, Turkey
Submission Deadline May 14, 2024
Notification Due Jun 25, 2024
Final Version Due Jul 23, 2024
 

Call For Papers

Runtime Verification 2024

October 15-18
Istanbul, Türkiye

We are pleased to invite you to submit papers for the 24th International Conference on Runtime Verification (RV'24), which will take place in Istanbul, Türkiye, on October 15-18, 2024. The full Call for Papers, with submission details, is at https://bouncmpe.github.io/rv24/call-for-papers/


* Important Dates

Paper submission: May 14, 2024
Notification: June 25, 2024
Camera-ready: July 23, 2024
Conference: 5-18 October 2024

* Website
https://bouncmpe.github.io/rv24/



* Objectives and Scope

Runtime verification is concerned with the monitoring and analysis of the runtime behavior of software, hardware, and cyber-physical systems.

The topics of the conference include, but are not limited to:

specification languages for monitoring
formal requirements elicitation, specification mining, and machine learning over runtime traces
monitor construction techniques
program instrumentation
combination of static and dynamic analysis
dynamic type checking and assurance cases
monitoring techniques for concurrent and distributed systems
runtime checking of privacy and security policies
metrics and statistical information gathering
fault localization, containment, resilience, recovery and repair
monitoring of systems with learning-enabled components, including reinforcement learning
runtime verification for autonomy and runtime assurance


New areas we are soliciting this year include:

integrating the results of runtime monitoring with downstream tasks, especially metareasoning, control, fault recovery, and design modifications
case studies of using RV in industrial settings, with lessons learned and challenges faced


* Papers
Papers can be submitted in one of four categories:

- Regular papers (up to 16 pages + references) should present original unpublished results.
- Short papers (up to 8 pages + references) should present original unpublished ideas but which are not necessarily thoroughly worked out.
- Tool papers (up to 8 pages + references) should present a new tool or novel extensions to an existing tool supporting runtime verification.
- Benchmark papers (up to 8 pages + references) should describe a benchmark or benchmark generator useful for evaluating RV tools


* Tutorials
Tutorials are two-to-three-hour presentations on a selected topic. A tutorial proposal is at most 2 pages, and must describe the subject and outline of the tutorial, relevance to RV community, schedule in some detail, and brief biographies of the presenters.
Tutorial proposers also have the option to submit a Regular Paper (up to 16 pages) on the subject of the tutorial.

The Program Committee will give a Springer-sponsored Best Paper Award to an elected regular paper.

Special Journal Issue The Program Committee will invite a selection of accepted papers to submit extended versions to a special journal issue, currently planned to be in the International Journal on Software Tools for Technology Transfer (STTT).



Related Resources

VORTEX 2024   Verification and Monitoring at Runtime Execution 2024
CAV 2025   37th International Conference on Computer Aided Verification
IEA/AIE 2025   The 38th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
SCID @ AsiaCCS 2025   The 2nd workshop on Security-Centric Strategies for Combating Information Disorder
SPIN 2025   31st International Symposium on Model Checking Software
ICST 2025   International Conference on Software Testing, Verification, and Validation
MBMV 2025   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
PSSV 2024   Workshop Program Semantics, Specification and Verification
LAMAS&SR 2024   International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning