This LNCS volume constitutes the refereed proceedings of 27th International Conference on Formal Methods and Software Engineering, ICFEM 2026, held in Southampton, UK, during November 17–20, 2026.

The 22 full papers presented in these volumes were carefully reviewed and selected from 63 submissions.

ICFEM gathers researchers and practitioners interested in the recent advancement in the use and development of formal methods and tools for dependable software and system construction. It records the latest developments in formal engineering methods.