2025年第 30 届自动定理证明大会（CADE/IJCAR 2025）

CADE 是主要的国际论坛，对自动推理的各个方面进行研究在会上展示。第一次会议于 1974 年举行。以前的 CADE 大多是两年一次的，年度会议始于 1996 年。自 2001 年以来，CADE 参加了国际自动推理联合会议 （IJCAR）。

1.组委会

大会主席（Conference Chair）：
Stephan Schulz（德国斯图加特双元制应用科学大学）

程序委员会主席（Program Chairs）：
Clark Barrett（斯坦福大学）
Uwe Waldmann（德国马克斯·普朗克信息学研究所）

研讨会主席（Workshop Chair）：
Sophie Tourret（法国国家信息与自动化研究院 Nancy 分部）

宣传主席兼 CASC 联络人（Publicity Chair & CASC）：
Geoff Sutcliffe（迈阿密大学）

本地组织者（Local Organisers）：
Jan Hladik（德国斯图加特双元制应用科学大学）
Inna Avrutina（德国斯图加特双元制应用科学大学）
Daniela Jung（德国斯图加特双元制应用科学大学）

2.出版与检索

出版信息：论文集将作为 Springer LNCS 系列第 15943 卷发布，并为开放获取 

检索类型：收录于 DBLP、SpringerLink、Scopus、EI Compendex、Web of Science、Google Scholar 等学术数据库

• 逻辑基础
• 理论和原则
• 计算机科学和数学内外的应用
• 自动推理系统的实施

1.投稿须知

• 普通论文：最多 15 页的 LNCS 样式，不包括参考文献。附录中提供了不符合页数限制的理论结果的证明
• 短论文：包括系统描述、用户体验、案例研究和领域模型。最多 10 页的 LNCS 样式，不包括参考文献。
• 提交的内容必须未发布，并且不得在其他地方提交发布。
• 所有提交的内容必须采用 LNCS 格式，并且必须至少包含通讯作者的 ORCID ID，最好是所有作者的 ORCID ID

2.重要日期

• 摘要截止日期：2025 年 2 月 17 日
• 提交截止日期：2025 年 2 月 24 日
• 反驳期：2025 年 4 月 14 日至 18 日
• 通知：2025 年 4 月 28 日
• 最终版本截止日期：2025 年 5 月 30 日
• 主会议：2025 年 7 月 28-31 日
• 卫星赛：2025 年 8 月 1 日至 2 日

[email protected]