RV: Runtime Verification



Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
RV 2024 Runtime Verification 2024
Oct 15, 2024 - Oct 18, 2024 Istanbul, Turkey May 14, 2024
RV 2023 The 23rd International Conference on Runtime Verification
Oct 3, 2023 - Oct 6, 2023 Thessaloniki Jun 4, 2023
RV 2022 Runtime Verification 2022
Sep 28, 2022 - Sep 30, 2022 Tbilisi, Georgia May 5, 2022
RV 2020 Runtime Verification
Oct 6, 2020 - Oct 9, 2020 Los Angeles / Online TBD
RV 2019 The 19th International Conference on Runtime Verification
Oct 8, 2019 - Oct 11, 2019 Porto May 21, 2019
RV 2018 18th International Conference on Runtime Verification
Nov 10, 2018 - Nov 13, 2018 Limassol, Cyprus Jul 8, 2018
RV 2016 7th International Conference on Runtime Verification
Sep 23, 2016 - Sep 30, 2016 Madrid, Spain May 15, 2016 (May 8, 2016)
RV 2015 6th International Conference on Runtime Verification
Sep 22, 2015 - Sep 25, 2015 Vienna, Austria Apr 19, 2015 (Apr 12, 2015)
RV 2014 Runtime Verification
Sep 22, 2014 - Sep 25, 2014 Toronto Apr 15, 2014 (Apr 8, 2014)
RV 2012 Runtime Verification
Sep 25, 2012 - Sep 28, 2012 Istanbul, Turkey Jun 3, 2012

Present CFP : 2024

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

* 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

CAV 2024   36th International Conference on Computer Aided Verification
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
PARMA-DITAM 2024   PARMA: 15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & DITAM: 13th Workshop on Design Tools and Architectures for Multi-Core
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
LearnAut 2024   Learning and Automata
CAV 2024   Computer Aided Verification
FDL 2024   Forum on specification and Design Languages
VERDI 2024   2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
FAACS 2024   The 8th International Workshop on Formal Approaches for Advanced Computing Systems