第26届运行时验证国际会议

运行时验证（Runtime Verification）关注软件与硬件系统运行时行为的监控与分析。运行时验证技术对系统正确性、可靠性与鲁棒性至关重要：与传统测试相比提供了更严格的保证与更高效的方式，又比穷尽式形式验证更实用。运行时验证既可部署前用于测试、验证与调试，也可部署后用于保障可靠性、safety 与 security，提供故障遏制、恢复与在线系统修复。
第 26 届运行时验证国际会议（RV 2026）将于 2026 年 10 月 6-9 日在加拿大安大略省金斯顿的皇后大学举行。会议征集四类论文：常规论文（Regular）、短论文（Short）、工具演示（Tool Demo）与基准测试（Benchmark），每类均由至少三名程序委员会成员评审（单盲）。

1、组委会

大会共同主席：
Sean Kauffman（加拿大皇后大学）、Giulia Pedrielli（美国亚利桑那州立大学）
宣传主席：
Lars Lindemann（瑞士苏黎世联邦理工学院 ETH Zurich）
工具展示主席：
Houssam Abbas（美国俄勒冈州立大学）
程序委员会：
Violet Ka I Pun（挪威西部应用科学大学）
Lars Lindemann（苏黎世联邦理工学院）
Pierluigi Nuzzo（南加州大学）
Muslum Ozgur Ozmen（亚利桑那州立大学）
Corina Pasareanu（卡内基梅隆大学、NASA、KBR）
Kim Guldstrand Larsen（奥尔堡大学）
Bardh Hoxha（丰田北美研究院）
Jyotirmoy Deshmukh（南加州大学）

• 用于监控的规范语言
• 监测施工技术
• 程序仪器
• 记录、录制和回放
• 静态分析与动态分析相结合
• 基于运行时轨迹的规范挖掘和机器学习
• 并发和分布式系统的监控技术
• 运行时检查隐私和安全策略
• 指标和统计信息收集
• 程序/系统执行可视化
• 故障定位、遏制、恢复、修复
• 具有学习功能的监控系统组件
• 动态类型检查
• 运行时验证以实现自主性和运行时保障
• 运行时验证以确保案例
• 基于机器学习的系统中的分布外和异常检测
• 安全强化学习
• 大型语言模型（LLM）代理的运行时验证

1、重要时间

• 论文提交截止日期：2026年6月16日  
• 教程提案提交截止日期：2026年6月16日
• 通知：2026年8月1日 
• 最终成片日期：2026年8月12日  
• 会议：2026年10月6日至9日

2、投稿指南

常规报纸：最多16页，不包括参考文献。
短篇论文：最多 8 页，不包括参考文献。
工具演示论文：最多 8 页，不包括参考文献。
基准论文：最多 8 页，不包括参考文献。
提交的论文和教程必须采用 LNCS/Springer 格，论文必须以英文撰写，并通过EasyChair投稿页面以PDF格式电子提交。