Regular Papers
Up to 16 pages, presenting original unpublished results including theoretical papers, system papers, domain-specific variants of RV, and case studies.
Software Eng/CORE B
RV 2026
International Conference on Runtime Verification
Runtime Verification 2026 is the 26th International Conference on Runtime Verification, held at Queen's University in Kingston, Canada, focusing on monitoring and analyzing the runtime behavior of software and hardware systems to enhance correctness, reliability, and security. The conference brings together researchers and practitioners to present original work on specification languages, monitoring techniques, tool demonstrations, and benchmarks, with an emphasis on practical applications including AI safety, autonomous systems, and machine learning.
Key deadlines
Verified September 9, 2026Full paper
June 1, 2026
AoE
Conference timeline
Submission and decisions
Full paperKey deadline
June 1, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short Papers
Up to 8 pages, presenting novel but not necessarily thoroughly worked out ideas, such as emerging techniques or connections between RV and other domains.
Tool Demonstration Papers
Up to 8 pages, presenting a new tool, tool component, or novel extensions to existing tools supporting runtime verification, with information on availability, maturity, and experimental results.
Benchmark Papers
Up to 8 pages, describing a benchmark, suite of benchmarks, or benchmark generator useful for evaluating RV tools, including purpose, accessibility, and argument for community utility.
Tutorials
Up-to-two-hour presentations on a selected topic; presenters may publish a paper of up to 20 pages in the LNCS proceedings.
Research areas in scope
01
Topics of Interest
specification languages for monitoringmonitor construction techniquesprogram instrumentationlogging, recording, and replaycombination of static and dynamic analysisspecification mining and machine learning over runtime tracesmonitoring techniques for concurrent and distributed systemsruntime checking of privacy and security policiesmetrics and statistical information gatheringprogram/system execution visualizationfault localization, containment, resilience, recovery, and repairmonitoring systems with learning-enabled componentsdynamic type checkingruntime verification for autonomy and runtime assuranceruntime verification for assurance casesout-of-distribution and anomaly detection in ML-based systemssafe reinforcement learningruntime verification of large language model (LLM) agents
Policies worth checking twice
- Papers must be original and not submitted elsewhere.
- Submissions must be in English and in PDF format via EasyChair.
- Papers must use the LNCS/Springer style.
- Page limits exclude references but include all text and figures.
- Additional details may be included in an appendix, reviewed at reviewers' discretion but not published.
- At least one author of each accepted paper or tutorial must register and present.
- Review process is single-blind.
- Benchmark papers must be accompanied by an easily accessible and usable benchmark submission.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026