RV 2025: Call for Papers

[Masaki Waga]

みなさま、

京都大学の和賀です。
重複してお受け取りの節は何卒ご容赦ください。

9月にオーストリアのグラーツにて開催される、実行時検証に関する国際会議 RV
2025 の CfP になります。5月末が締切の予定です。本年より異常検知や安全な
強化学習などが明示的にスコープに追加されました。詳細は Web ページ
(https://rv25.isec.tugraz.at/call-for-papers/) もご参照ください。

投稿をご検討いただければ幸いです。


和賀
-----

We are pleased to invite you to submit papers for the 25th International
Conference on Runtime Verification (RV25), which will take place in
Graz, Austria from September 15 to September 19, 2025.

Dates:

- Paper submission: 30 May, 2025
- Notification: 11 July, 2025
- Camera-ready: 27 July, 2025
- Conference: 15-19 September, 2025

Objectives and Scope:

Runtime verification is concerned with the monitoring and analysis of
the runtime behavior of software and hardware systems. Runtime
verification techniques are crucial for system correctness, reliability,
and robustness; they provide an additional level of rigor and
effectiveness compared to conventional testing and are generally more
practical than exhaustive formal verification.

Runtime verification can be used prior to deployment, for testing,
verification, and debugging purposes, and after deployment for ensuring
reliability, safety, and security and for providing fault containment
and recovery as well as online system repair.

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

- specification languages for monitoring
- monitor construction techniques
- program instrumentation
- logging, recording, and replay
- combination of static and dynamic analysis
- specification mining and machine learning over runtime traces
- monitoring techniques for concurrent and distributed systems
- runtime checking of privacy and security policies
- metrics and statistical information gathering
- program/system execution visualization
- fault localization, containment, resilience, recovery, and repair
- monitoring systems with learning-enabled components
- dynamic type checking
- runtime verification for autonomy and runtime assurance
- runtime verification for assurance cases
- out-of-distribution and anomaly detection in ML-based systems
- safe reinforcement learning

Paper Categories:

There are four categories of papers that can be submitted: regular,
short, tool demo, and benchmark papers. Papers in each category will be
reviewed by at least three members of the Program Committee.


--
Masaki Waga
Assistant Professor, Graduate School of Informatics, Kyoto University
mw...@fos.kuis.kyoto-u.ac.jp
https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/"