FM 2026 是由欧洲形式方法组织（FME）组织的第 27 届形式方法国际研讨会，该协会是一个独立协会，旨在促进软件和系统开发形式方法的使用和研究。 FM 研讨会成功地将研究人员和工业用户聚集在一起，围绕着关于研究和工业经验的原创论文、研讨会、教程、工具报告、项目和正在进行的博士研究。 FM 2026 既是一个庆祝的场合，也是一个来自不同背景的热情研究人员和从业者交流想法和分享经验的平台。