New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
New Book Review
Thao Dang reviews Chuchu Fan''s book "Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
FME is inviting proposals to host the 28th International Symposium on Formal Methods in Autumn 2027 (#FM2027), preferably in Europe
Dates
* Optional 01 Dec 2025: Expression of Interest
* 15 Jan 2026: Proposals
* 15 Feb 2026: Notification
Details: www.fmeurope.org/2025/09/14/f...
#FM2026 will also host the FM Doctoral Symposium, for PhD students to present and discuss their work on #Formal Methods, meet other PhD students, get early feedback, and talk with senior academics about research and career strategy.
Details at:
The Formal Methods Symposium 2026 will again host Industry Day (i-Day), which is a forum for industry and academia to meet and discuss the state of the art of #FormalMethods
Details to come at: conf.researchr.org/track/fm-202...
The Formal Methods Symposium 2026 will have a special track on Tests & Proofs (TAP) that is interested in work at the intersection of static and dynamic analysis. The scope includes foundational work, tool development, and empirical research.
Details: conf.researchr.org/track/fm-202...
#FM2026
Call for Papers for #FM2026
FME's 27th International Symposium on Formal Methods, this year in Tokyo.
Papers due on 2nd of Dec 2025 (AoE) with special tracks on Tests & Proofs and Tutorials, plus Industry Day and the Doctoral Symposium.
www.fmeurope.org/2025/04/10/f...
#FormalMethods
This year, the Formal Methods Symposium will be in Tokyo, 20th to 22nd of May 2026.
FM2026 is interested in work that develops and applies #FormalMethods in a wide range of domains.
Abstracts: 25th Nov, 2025 (AoE)
Papers: 2nd Dec 2025 (AoE)
Details: conf.researchr.org/home/fm-2026
#FM2026
This year, the Formal Methods Symposium will be in Tokyo, 20th to 22nd of May 2026.
FM2026 is interested in work that develops and applies #FormalMethods in a wide range of domains.
Abstracts: 25th Nov, 2025 (AoE)
Papers: 2nd Dec 2025 (AoE)
Details: conf.researchr.org/home/fm-2026
#FM2026
#FM2026 will also host the FM Doctoral Symposium, for PhD students to present and discuss their work on #Formal Methods, meet other PhD students, get early feedback, and talk with senior academics about research and career strategy.
Details to come:
The Formal Methods Symposium 2026 will again host Industry Day (i-Day), which is a forum for industry and academia to meet and discuss the starte of the art of #FormalMethods
Details to come at: conf.researchr.org/track/fm-202...
#FM2026 will feature a Tutorial track, for work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by academic interests or needs from specific domains.
Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...
The Formal Methods Symposium 2026 will have a special track on Tests & Proofs (TAP) that is interested in work at the intersection of static and dynamic analysis. The scope includes foundational work, tool development, and empirical research.
Details: conf.researchr.org/track/fm-202...
#FM2026
The 27th international symposium on Formal Methods (#FM2026) will be in Japan!
Papers due: 2nd of Dec 2025 (AoE)
Regular, Case Study, and Tool papers, max. 15 pages. Short papers max. 6 pages. Tutorial papers, max. 25 pages. All in LNCS format.
Details: conf.researchr.org/home/fm-2026
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
The dealine for the Formal Methods Sympoosium is approaching soon, FM 2026 also has some special tracks and co-locted events. Lets look at the FM Symposium and its other tracks an events together.
🧵
New Post: Call for Papers for #FM2026
FME's 27th International Symposium on Formal Methods, this year in Tokyo.
Papers due on 2nd of Dec 2025 (AoE) with special tracks on Tests & Proofs and Tutorials, plus Industry Day and the Doctoral Symposium.
www.fmeurope.org/2025/04/10/f...
#FormalMethods
This year, the Formal Methods Symposium will be in Tokyo, 20th to 22nd of May 2026.
FM2026 is interested in work that develops and applies #FormalMethods in a wide range of domains.
Abstracts: 25th Nov, 2025 (AoE)
Papers: 2nd Dec 2025 (AoE)
Details: conf.researchr.org/home/fm-2026
#FM2026
🚨Deadline Extension
The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth)
Workshop: 17th - 19th Nov 2025
Send us papers applying #FormalMethods to almost any kind of #Autonomous System
More details: buff.ly/7CbLuOm
We have extended the deadline for #FMAS2025 to the 28th of August 2025 (still anywhere on Earth)!
This gives you all a little more time to polish your papers, if you're intending to send us some of your work.
Details: fmasworkshop.github.io/FMAS2025/
🚨Deadline Extension
The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth)
Workshop: 17th - 19th Nov 2025
Send us papers applying #FormalMethods to almost any kind of #Autonomous System
More details: fmasworkshop.github.io/FMAS2025/
If you're still writing a paper for #FMAS2025 then you now have some extra time!
You weren't writing a paper?
Maybe now you can. 😉
#FMAS2025 is looking for work applying #FormalMethods to almost any kind of autonomous system!
FMAS is back this year, hosted by #iFM25 in Paris.
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025