第27届形式化工程方法国际会议

ICFEM 是形式化方法与软件工程领域的国际领先会议系列，自1997年起为严肃地将形式化方法应用于实际应用的研究者和实践者提供国际论坛。会议欢迎来自工业界、学术界和政府的研究者参会，展示研究成果，推动形式化方法在真实生产系统中的应用，以及具有实际效益的理论工作。2026年为第27届，将在英国南安普顿举办。

1、检索信息
ICFEM 2026 论文集发表于 Springer Lecture Notes in Computer Science（LNCS） 系列，该系列被 Scopus 和 EI Compendex 收录。会议在 CCF 推荐列表中为 C 类，录用率约为 42.6%。

2、出版信息
录用论文由 Springer 出版，收录于 LNCS 系列。投稿需使用 Springer LNCS 格式，正文不超过16页（不含参考文献与附录）。部分精选论文的作者将在会后被邀请向 Formal Aspects of Computing 期刊提交扩展版本。

3、组委会信息（部分核心成员）：

• Steering Committee Chair：Shaoying Liu（华东师范大学，中国）

• General Chair：Michael Butler（南安普顿大学，英国）

• Program Co-Chairs：Son Hoang（南安普顿大学，英国）；Étienne André（南特大学，法国）；Qin Li（华东师范大学，中国）

• Publicity Chairs：Asieh Salehi Fathabadi（南安普顿大学，英国）；Chenyang Zhu（常州大学，中国）

• Workshop Chair：Reza Rezazadeh（南安普顿大学，英国）

• 形式化规约与建模

• 故障预防与检测的形式化方法

• 抽象、精化与演化

• 形式化验证与确认

• 形式化方法与测试的集成

• 形式化方法与评审的集成

• 面向软件分析与测试的 SAT/SMT 求解器

• 实用形式化方法

• 形式化方法的应用

• 软件维护的形式化方法

• 安全关键系统开发的形式化方法

• 形式化方法的支持工具

• 面向敏捷开发的形式化方法

• 人机结对编程的形式化方法

• 面向 AI 及与 AI 协同的形式化方法

• 面向信息物理系统与 IoT 的形式化方法

• 面向安全的形式化方法

• 产品形式化认证

• 工业案例研究

• 格式：Springer LNCS 格式，正文不超过 16页（不含参考文献与附录）

• 评审：单盲评审（single-blind），每篇论文至少由 3位 专家评审

• 录用通知与出版：录用论文发表于 Springer LNCS；精选论文受邀扩展至 Formal Aspects of Computing 期刊

• 可复现性：虽本届不设 artifact evaluation，但鼓励作者将 artifact 上传至 Zenodo 或 GitHub 等归档平台