第26届形式化工程方法国际会议（ICFEM 2025）ICFP

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

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

检索类型	Scopus	邮箱	engyao.ma@uq.edu.au
会议状态	征稿结束	网站	https://icfem2025.github.io/
主办单位

会议邮箱	engyao.ma@uq.edu.au
会议状态	征稿结束
会议形式	线下会议
网址	https://icfem2025.github.io/
转发分享

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

会议简介 Brief Introduction01

ICFEM 是形式化方法和软件工程领域国际领先的会议系列。自 1997 年以来，ICFEM 一直是致力于将形式化方法应用于实际应用的研究人员和从业人员的国际论坛。我们鼓励来自工业界、学术界和政府部门的研究人员和从业人员参会，展示他们的研究成果，并助力推动技术发展。ICFEM 不仅关注已应用于实际生产系统的研究成果，也关注有望带来实际效益的理论研究。ICFEM 已在全球多个国家举办。今年，第26届形式化工程方法国际会议将在中国杭州（DeepSeek的诞生地）举行。ICFEM 2025诚邀全球研究人员和从业人员投稿，以推动形式化方法和软件工程领域的发展。

重要信息 Highlights02

1、出版信息

大会接收经过同行评审的高质量论文，含正式论文、工具演示及工业案例，论文集将通过 Springer 的 Lecture Notes in Computer Science (LNCS) 系列出版，并被 DBLP、Scopus、CPCI 等主流检索系统收录。选定论文的受邀扩展版本将在会议结束后推荐给《计算形式方面》特刊。
会议结束后，与论文相关的最佳软件（通常是任何具有专门实现的论文）将被推荐到爱思唯尔计算机编程科学期刊的软件轨道特刊中。

2、组委会

指导委员会：
David Basin，瑞士苏黎世联邦理工学院
Michael Butler，英国南安普顿大学董金松，新加坡国立大学
Jifeng He，中国上海人工智能产业技术研究院
Mike Hinchey，爱尔兰利默里克大学刘少英，日本广岛大学（主席）
Kazuhiro Ogata，日本日本科学技术研究院
Shengchao Qin，英国提赛德大学
会议联合主席：
Xinyu Wan，中国浙江大学
Wenhai Wang，浙江大学，中国
项目联合主席：
Étienne André，法国巴黎索邦大学
Jingyi Wang，浙江大学，中国
Naijun Zhan，北京大学，中国

征稿主题 Call for Paper03

1、形式化规范和建模
2、故障预防和检测的正式方法
3、抽象、细化和流化
4、形式验证和确认
5、形式化方法与汉话的华成
6、形式化方法与评申的整合
7、用于软件分析和测试的 SAT/SMT 求解器
8、实用形式方法
9、形式化方法的应用
10、安全关键系统开发的正式方法
11、形式化方法的支持工具
12、敏捷开发的形式化方法
13、人机结对编程的形式化方法
14、人工智能的形式化方法
15、信息物理系统和物联网的形式化方法
16、安全的形式化方法
17、产品正式认证
18、工业案例研究
19、软件维护的正式方法

主讲嘉宾 Keynote speaker 04

Jifeng He · 中国科学院
Jifeng He是中国科学院院士。他的研究方向为形式化方法、并发编程理论、嵌入式系统设计以及软硬件协同设计。他曾主持国家重大项目，包括担任国家高可信软件基础研究发展计划和国家973计划“海量信息协同与抗毁性理论与实践”项目的首席科学家。他的研究成果对实时嵌入式系统、信息物理融合系统和物联网等技术做出了重要贡献。
Jim Woodcock · 约克大学
Jim Woodcock是约克大学软件工程教授，也是皇家工程院院士。他的研究重点是形式化方法、软件工程和系统验证，并对 Z 符号、CSP 和统一编程理论做出了贡献。他在 IBM CICS 交易处理系统（该系统荣获女王科技成就奖）和 Mondex 电子支付系统（该系统获得 ITSEC 最高级别认证）的形式化过程中发挥了关键作用。他曾在牛津大学、肯特大学和约克大学担任学术职务，并担任《Formal Aspects of Computing》杂志主编。
Mariëlle Stoelinga · 特温特大学
Mariëlle Stoelinga 是特温特大学（恩斯赫德）高科技系统风险管理教授，并在奈梅亨拉德堡德大学软件科学系兼任兼职。她的研究重点是开发利用模型检查和故障树分析和提升复杂系统可靠性的技术。她的工作强调组合性，从组件级评估中得出系统风险概况，并将其应用于预测性维护和网络安全。她因其贡献而荣获多项奖项，包括 ICALP 2003 年度最佳论文奖、EASST 2016 年度最佳论文奖和 AAAI 2022 年度杰出论文奖。她参与的 PrimaVera、CAESAR 和 ZORRO 等项目彰显了她在通过创新方法整合安全与网络安全方面的领导地位。
Yongwang Zhao · 浙江大学
Yongwang Zhao是浙江大学教授、博士生导师。他是ARINC653国际操作系统标准委员会和通用标准操作系统内核技术委员会的成员。他的研究重点是操作系统安全、形式化验证和编程语言原理。他参与制定了多项国际和国家标准，并领导了包括中国载人航天工程在内的多项重大项目。他的工作得到了波音、空客以及领先的实时操作系统社区的认可，对标准和开源项目都产生了深远的影响。

会议投稿 Conference submission 05

1、重要时间

摘要提交:2025年6月11日

全文提交:2025年6月15日

录取通知:2025年8月1日

相机就绪版本:2025年8月20日

会议日期:2025年11月10日至13日

2、提交

投稿请通过 ICFEM 2025 投稿页面进行。与往年一样，会议论文集将以 Springer 计算机科学讲义系列出版。论文应使用 Springer LNCS 格式以英文撰写。格式样式文件及其他格式指南可在 Springer 网站（更多详情请点击此处）找到。我们鼓励作者在投稿中添加行号。例如，可以使用 lineno LaTeX 软件包来实现。
主会论文提交内容不得超过16页（不包括参考文献和附录），采用Springer LNCS格式。每篇提交内容将经过至少三位专家的严格单盲同行评审。