Finally, if you have a workshop that complements the FM 2026 Symposium, you can visit conf.researchr.org/track/fm-202... to find out more about proposing that it is held at FM 2026. Workshops will be before the Symposium, on the 18th and 19th of May 2026

There is also the FM Doctoral Symposium for PhD students to present their work and get early feedback. This is a great place to meet other PhD students and also senior academics in #FormalMethods.
Details to come: conf.researchr.org/track/fm-202...

Industry Day (i-Day) brings industry into the symposium to foster discussion about the state of the art in #FormalMethods and the needs of industry.
Details to come: conf.researchr.org/track/fm-202...

The Tutorials track is for papers that aim to explain or teach a concept that is useful for the #FormalMethods community. Here, papers can be up to 25 pages (LNCS format), and may be driven by academic interests or domain area needs.
Details: conf.researchr.org/track/fm-202...

The Tests & Proofs (TAP) track brings the long-running TAP conference into the FM Symposium. TAP covers work that targets the interplay of static and dynamic analysis techniques.

Details: conf.researchr.org/track/fm-202...

Papers for #FM2026 should be max. 15 pages (or 6 pages for short papers) and submitted by the 2nd of December 2025.
They will be published in the LNCS FM subline, with gold open access.
Details: conf.researchr.org/home/fm-2026