ATVA 2025是第23届国际自动化验证与分析技术研讨会。本次会议致力于促进自动化分析、验证和综合理论与实践方面的研究，为国际研究界和业界提供一个交流的平台。ATVA 2025 将于 2025 年 10 月 27 日至 31 日在印度班加罗尔举行。今年的会议与第 23 届亚洲编程语言和系统研讨会 (APLAS 2025)同期举办。

1、组委会

总主席：

Deepak D'Souza 印度科学研究所

组织主席：

Sujit KumarChakrabarti 班加罗尔国际信息技术学院
组委会：

Meenakshi D'Souza ITB-班加罗尔国际信息技术学院

程序主席：

Meenakshi D’Souza（IIIT‑B）

K V Raghavan（IISc）

B Srivathsan（CMI）

2、出版信息

征稿采用Springer LNCS格式，Regular papers（18页＋参考文献）和Tool papers（10页＋参考文献）均需提交，Regular双盲评审、Tool单盲，并配套Artifact Evaluation；论文集由Springer LNCS出版 

• 硬件、软件和嵌入式系统建模的形式化
• 有限状态、无限状态和参数化系统的规范和验证
• 程序分析与软件验证
• 硬件电路、片上系统和嵌入式系统的分析和验证
• 实时、混合、定价、加权和概率系统的分析
• 用于分析和验证的演绎、算法、组合和抽象/细化技术
• 安全性、保障性和可靠性的分析技术
• 基于验证技术的测试和运行时分析
• 并行并发系统分析与验证
• 工业实践验证
• 硬件和软件系统的综合
• 验证应用及案例研究
• 自动化工具支持验证
• 神经网络的测试和验证
• 自主系统的测试和验证

1、重要日期

• 摘要+论文提交截止日期：2025年4月25日（AoE）
• 作者回复期：2025 年 6 月 17 日至 20 日（AoE）
• 论文通知：2025年7月4日（AoE）
• 照相就绪截止日期：2025 年 8 月 1 日（AoE）
• 教程和研讨会：2025 年 10 月 27 日
• 会议时间：2025年10月28日至10月30日

2、提交

ATVA 欢迎提交以下两个类别的作品：

常规研究论文（18页，不包括参考文献，必须匿名）
工具论文（10页，不含参考文献，非匿名）
两个类别的投稿都必须采用 Springer 的 LNCS 格式。格式样式文件及更多格式指南可在 Springer 网站https://www.springer.com/gp/computer-science/lncs上找到。强烈建议添加行号（LaTeX 软件包 lineno）。允许并鼓励由程序委员会成员撰写或共同撰写的投稿。

将进行工件评估，这对于常规论文来说是可选的，对于工具论文来说是强制性的。

论文必须通过 EasyChair 提交：https://easychair.org/conferences/?conf =atva2025。两个类别的录用论文都将发表在 Springer 的《计算机科学讲义》系列丛书上。部分优秀论文将被评选为杰出论文奖。每篇录用论文至少有一位作者注册并在会议上进行报告。

普通论文：
常规论文（采用 Springer LNCS 格式）篇幅不得超过 18 页，不包含参考文献和附录。其他内容可置于附录中，由审稿人酌情阅读，并可在最终版本中省略。

meenakshi@iiitb.ac.in