FM 2026 ist das 27. Internationale Symposium über Formale Methoden, veranstaltet von der European Formal Methods Organization (FME), einem unabhängigen Verband, der sich der Förderung der Anwendung und Erforschung formaler Methoden in der Software- und Systementwicklung widmet. Das FM-Symposium bringt erfolgreich Forschende und Anwender aus der Industrie zusammen und konzentriert sich auf Originalbeiträge, Workshops, Tutorials, Tool-Berichte, Projekte und laufende Doktorarbeiten, die Forschung und Praxiserfahrung miteinander verknüpfen. FM 2026 ist sowohl ein festlicher Anlass als auch eine Plattform für engagierte Forschende und Praktiker verschiedenster Fachrichtungen, um Ideen und Erfahrungen auszutauschen.