中国计算机学会（CCF）推荐学术会议-A（软件工程/系统软件/程序设计语言）：FM 2026

FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.

重要信息

CCF推荐：A（软件工程/系统软件/程序设计语言）

录用率：24.7%（44/178，2024年）

时间地点：2026年5月18日-东京·日本

截稿时间：2025年11月25日

Call for Papers

Interdisciplinary formal methods: Techniques, tools, and experiences demonstrating the use of formal methods in interdisciplinary settings. Formal methods in practice: industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems.

Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools.

Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration.

Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis.

We are particularly interested in submissions that apply formal methods on autonomous systems, including AI - and non-AI-based perception, decision, and control algorithms, compilers, middleware, operating systems, virtual machines, communication protocols, and hardware. Example application domains are increasingly automated vehicles, robots, and drones.

Submission Guidelines

We solicit various categories of papers:

Regular Papers (max 15 pages)

Long tool papers (max 15 pages)

Case study papers (max 15 pages)

Short papers (max 6 pages), including tool demonstration papers.

All page limits do not include references and appendices.

Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, and written in English.

Reviewing is single-blind.