FM 2026は、ソフトウェアおよびシステム開発における形式手法の活用と研究の促進を目的とする独立団体である欧州形式手法機構（FME）が主催する第27回国際形式手法シンポジウムです。FMシンポジウムは、研究者と業界ユーザーを結集し、独創的な論文、ワークショップ、チュートリアル、ツールレポート、プロジェクト、そして研究と業界経験に関連する進行中の博士研究に焦点を当てています。FM 2026は、祝賀行事であると同時に、多様なバックグラウンドを持つ熱心な研究者と実務家がアイデアを交換し、経験を共有するプラットフォームでもあります。