CFP summary
FM 2026 is the 27th International Symposium on Formal Methods and will be held in Tokyo. The conference brings together researchers and industrial users working on formal modeling, specification, verification, validation, and deployment of dependable systems. Continuing the long-running Formal Methods Europe series, FM 2026 includes research papers, industrial experience reports, workshops, tutorials, tools, projects, and doctoral research, emphasizing both theory and real-world use of formal methods.
Topics
Formal specification and modeling; verification and validation; model checking and theorem proving; formal methods in industry; tools and tool support; safety-, reliability-, and security-critical systems; workshops, tutorials, and industrial experience in rigorous system development.