第37届计算机辅助验证国际会议（CAV 2025）ICFP

仅收录五年以上有检索的国际会议

平台仅发布5年以上有检索的会议
保障会议真实有效

检索类型	Scopus	邮箱	ruzica.piskac@yale.edu
会议状态	征稿结束	网站	https://conferences.i-cav.org/2025/
主办单位	ACM/IEEE

会议邮箱	ruzica.piskac@yale.edu
会议状态	征稿结束
会议形式	线下会议
网址	https://conferences.i-cav.org/2025/
转发分享

会议简介重要信息征稿主题主讲嘉宾会议投稿联系方式

会议简介 Brief Introduction01

CAV 2025 是第 37 届 CAV 系列会议，旨在推动硬件和软件系统计算机辅助形式化分析方法的理论与实践发展。会议涵盖从理论成果到具体应用的各个领域，重点关注实用验证工具及其实现所需的算法和技术。CAV 认为，在拓展机器学习、自主系统和计算机安全等新领域的同时，继续推动硬件和软件验证领域的进步至关重要。会议论文集将发表在 Springer-Verlag 的计算机科学讲义系列中。部分论文预计将被邀请发表在《系统设计形式化方法》和《ACM 期刊》的特刊上。

重要信息 Highlights02

1、组委会

项目主席：
Ruzica Piskac，耶鲁大学
Zvonimir Rakamaric，亚马逊 (AWS)
当地主席：
Alan Jović，萨格勒布大学
研讨会主席：
Grigory Fedyukovich，佛罗里达州立大学
赞助主席：
Borzoo Bonakdarpour，密歇根州立大学
宣传主席：
Ferhat Erata，耶鲁大学
Hadar Frenkel，巴伊兰大学
网站主席：
Borzoo Bonakdarpour乔丹·施梅尔吉，耶鲁大学
Jana Hofmann，马克斯·普朗克安全与隐私研究所

征稿主题 Call for Paper03

用于验证模型和实现的算法和工具
系统综合的算法和工具
结合验证和学习的算法和工具
验证和综合的数学和逻辑基础
程序和系统的规范和正确性标准
使用证明助手进行演绎验证
硬件验证技术
程序分析与软件验证
软件综合
混合系统和嵌入式系统验证
信息物理系统的形式化方法
基于组合和抽象的验证技术
概率和统计验证方法
并行和并发系统的验证方法
基于验证技术的测试和运行时分析
用于验证和综合的决策程序和求解器
验证与综合中的应用和案例研究
工业实践验证
算法验证与综合的新应用领域
安全的形式化模型和方法
生物系统的形式模型和方法
使用形式化方法实现人工智能安全性和可解释性

主讲嘉宾 Keynote speaker 04

Roderick Bloem · 奥地利格拉茨科技大学
Roderick Bloem 是格拉茨理工大学的教授。他于 1996 年在荷兰莱顿大学获得计算机科学硕士学位，并于 2001 年在科罗拉多大学博尔德分校获得计算机科学博士学位。2002 年至 2008 年，他在奥地利格拉茨理工大学担任助理教授。自 2008 年起，他一直担任该校计算机科学系正教授。他是《模型检查手册》的联合编辑，并在形式验证、反应式综合、安全人工智能和安全领域发表了 140 多篇同行评审论文。
Emina Torlak · AWS 和美国华盛顿大学
Emina Torlak 是亚马逊网络服务 (AWS) 的高级首席科学家，同时也是华盛顿大学的客座教授。Emina 致力于开发用于程序验证和综合的新语言和工具。她于 2003 年、2004 年和 2009 年分别在麻省理工学院 (MIT) 获得学士、硕士和博士学位。Emina 是 Rosette 和 Kodkod 的创始人，并领导 Cedar 的开发。Rosette 是一种求解器辅助语言，为各种系统的验证和综合工具提供支持，从放射治疗控制到 Linux JIT 编译器。Kodkod 是一种关系逻辑求解器，广泛应用于软件分析和设计工具中。Cedar 是一种富有表现力、快速且可分析的授权语言，在亚马逊网络服务及其他领域得到大规模应用。 Emina 曾获得罗宾·米尔纳青年研究员奖（2021 年）、NSF CAREER 奖（2017 年）、斯隆研究奖学金（2016 年）和 AITO Dahl-Nygaard 青少年奖（2016 年）。
Corina Pasareanu · 卡内基梅隆大学
Corina Pasareanu 是 ACM 研究员，在美国宇航局艾姆斯研究中心工作。她隶属于 KBR 和卡内基梅隆大学的 CyLab。她的研究兴趣包括模型检查、符号执行、组合验证、人工智能安全、自主性和安全性。她曾荣获多项奖项，包括 ETAPS 时间考验奖和 ACM 影响力论文奖。她曾担任多个会议的程序/总主席，包括 2015 年的 CAV 会议以及最近的 2025 年 ICSE 会议。