第31届国际SPIN软件模型检查研讨会（SPIN 2025）将于2025年5月7日至8日在加拿大汉密尔顿举行。SPIN 2025是一系列成功研讨会和专题讨论会的最新一届，面向对基于符号和状态空间的软件系统验证和分析技术感兴趣的从业者和研究人员。本次研讨会的重点是：基于状态空间显式表示的技术和实证评估（例如在SPIN模型检查器或其他工具中实现的），或基于显式表示与其他表示相结合的技术。

1、委员会

项目主席
Kristin Yvonne Rozier（爱荷华州立大学，艾姆斯，美国）
Gidon Ernst（路德维希马克西米利安大学慕尼黑大学，德国）

程序委员会
Marek Chalupa，（奥地利科学技术研究所）
Marie-Christine Jakobs，（德国慕尼黑大学）
Nancy Day（加拿大滑铁卢大学）
Rohit Dureja（美国 IBM 公司）
Marie Farrell（英国曼彻斯特大学）
Susanne Graf（法国 Verimag 公司）
Ahmed Irfan（美国 SRI）
Violet Ka I Pun（挪威西挪威应用技术大学）
Dominik Klumpp（德国弗莱堡大学）
Ondřej Lengál（捷克布尔诺理工大学）
Cong Liu（美国柯林斯航空航天公司）
Jianwen Li（中国华东师范大学）

指导委员会

Stefan Leue（德国康斯坦茨大学）（主席）
Susanne Graf（法国 Verimag）
Gerard Holzmann（美国 Nimble Research）
Jaco van de Pol（丹麦奥胡斯大学）
Neha Rungta（美国 AWS）
Willem Visser（南非斯泰伦博斯大学）
Anton Wijs（荷兰埃因霍温理工大学）
Georgiana Caltais（荷兰特温特大学）
Christian Schilling（丹麦奥尔堡大学）

• 用于自动分析（并发）软件/硬件的形式验证技术，包括：
  • 模型检查
  • 演绎验证
  • 自动定理证明，包括 SAT 和 SMT
  • 抽象和符号执行技术
  • 静态分析和抽象解释
  • 模块化和组合验证技术
  • 时间和概率系统的验证
  • 使用先进的分析技术进行自动化测试
  • 程序合成
  • 通过形式分析得出规范、测试用例等
  • 形式化规范语言、时态逻辑、契约设计
  • 学习系统的形式化分析
  • 以上任意组合
• 验证工具的应用和/或工程，包括：
  • 有趣系统或有趣结果的案例研究
  • 新型验证工具的实施
  • 验证工具的基准和比较研究
  • 使用现代硬件的验证工具，例如：多核 CPU、GPU、TPU、云和量子

1、时间

2025年2月20日    论文提交截止日期
2025年2月27日    工具论文提交截止日期（强制性）
2025年3月24日    录取通知书（所有论文和工具纸制品）
2025年4月7日    已接受的非工具论文的提交截止日期（可选）
2025年5月1日    接受额外文物的通知
2025年5月7-8日    座谈会

2、投稿指南

论文应通过 EasyChair SPIN 2025 提交网站提交：https://easychair.org/conferences/?conf =spin2025 在“研究论文”轨道中，然后您可以在其中选择相应的论文类别。

SPIN 2025 会议论文集将发表于 Springer 的《计算机科学讲义》系列。投稿应遵循 LNCS 格式，详情请参阅 Springer 网站。投稿时，请遵循 Springer 的《图书作者行为准则》 。

除调查和历史论文外，论文应包含尚未在其他地方提交或接受出版的原创作品。

我们征集三类论文：

完整的研究论文，描述完整的工作和完整的结果（16 页，不包括参考书目和附录）；

完整的工具论文，附有强制性工件，描述与验证工具或类似工具的开发或评估密切相关的工作（16 页，不包括参考书目和附录）；只有当其随附的工件 在工件评估中至少获得功能徽章时，才会考虑接受此类别的提交。

短篇论文，内容涵盖工具、技术、经验教训、新想法、正在进行的工作及其初步成果，以及对形式化方法的创新贡献（6页，不包括参考文献和附录）。注意：对于短篇论文，工件评估是可选的，但对于重点关注工具的论文，强烈建议进行评估。如果您希望短篇论文的配套工件进行评估，请于2月27日提交至强制性评估委员会。

所有符合投稿指南的论文将由程序委员会成员进行同行评审。评审将基于论文的原创性、贡献的重要性、合理性、评估、演示质量以及与相关工作的适当比较进行。

每篇被录用的论文至少有一位作者必须出席研讨会并发表论文。作者将被要求签署版权转让协议，或选择开放获取，并需支付出版费。部分大学可能会提供特殊折扣。

会议上将宣布并颁发最佳论文奖。