Formal Methods Europe
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Are you develping or using #FormalMethods?
Then #FM2026 is probably interested in your work!
Dates (AoE)
* Abstracts: 25th Nov 2025
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026
and Gold Open Access proceedings
Details:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
Then #FM2026 is probably interested in your work!
Dates (AoE)
* Abstracts: 25th Nov 2025
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026
and Gold Open Access proceedings
Details:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
April 9, 2025 at 9:11 AM
Are you develping or using #FormalMethods?
Then #FM2026 is probably interested in your work!
Dates (AoE)
* Abstracts: 25th Nov 2025
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026
and Gold Open Access proceedings
Details:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
Then #FM2026 is probably interested in your work!
Dates (AoE)
* Abstracts: 25th Nov 2025
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026
and Gold Open Access proceedings
Details:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper