Lightnews — Scholar-powered news

Formal Methods Europe @formalmtds.bsky.social · 21d

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

FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

Formal Methods Europe @formalmtds.bsky.social · 23d

#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:

FM 2026 - Doctoral Symposium - FM 2026

FM 2026 Doctoral Symposium, May 18 or 19, 2026

conf.researchr.org

Formal Methods Europe @formalmtds.bsky.social · 23d

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...

FM 2026 - Industry Day - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

1

Formal Methods Europe @formalmtds.bsky.social · 24d

#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...

FM 2026 - Tutorials - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

1 2

Formal Methods Europe @formalmtds.bsky.social · 24d

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

FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

2

Formal Methods Europe @formalmtds.bsky.social · 27d

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

FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

Formal Methods Europe @formalmtds.bsky.social · 27d

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

FM 2026 - Workshops - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

Formal Methods Europe @formalmtds.bsky.social · 27d

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...

FM 2026 - Doctoral Symposium - FM 2026

FM 2026 Doctoral Symposium, May 18 or 19, 2026

conf.researchr.org

1

Formal Methods Europe @formalmtds.bsky.social · 27d

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...

1

Formal Methods Europe @formalmtds.bsky.social · 27d

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...

1

Formal Methods Europe @formalmtds.bsky.social · 27d

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...

1

Formal Methods Europe @formalmtds.bsky.social · 27d

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

1

Formal Methods Europe @formalmtds.bsky.social · 27d

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.
🧵

FM 2026 - Special Track on TAP (Tests and Proofs) - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

1

Formal Methods Europe @formalmtds.bsky.social · 27d

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

FM 2026: Call for Papers · Formal Methods Europe

FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on,…

www.fmeurope.org

1

Formal Methods Europe @formalmtds.bsky.social · 28d

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

FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

1 3

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 15

🚨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

Seventh International Workshop on Formal Methods for Autonomous Systems

buff.ly

1 2

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 20

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/

Seventh International Workshop on Formal Methods for Autonomous Systems

fmasworkshop.github.io

3 2

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 12

🚨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/

Seventh International Workshop on Formal Methods for Autonomous Systems

fmasworkshop.github.io

2 3

Reposted by Formal Methods Europe

Matt Luckcuck @mattluckcuck.bsky.social · Aug 15

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!

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · Aug 12

🚨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/

Seventh International Workshop on Formal Methods for Autonomous Systems

fmasworkshop.github.io

3 2

Reposted by Formal Methods Europe

Matt Luckcuck @mattluckcuck.bsky.social · Jul 8

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

2 1

Formal Methods Europe @formalmtds.bsky.social · Aug 15

Does every Computer Scientist need to know Formal Methods?

Our post on why and how Formal Methods should be represented in Computer Science curricula from a special issue of Formal Aspects of Computing organised by the FME Teaching Committee

#FormalMethods #ComputerScience #SoftwareEngineering

Does every Computer Scientist need to know Formal Methods? · Formal Methods Europe

www.fmeurope.org

2 2

Reposted by Formal Methods Europe

José A. Alonso @jalonso.bsky.social · Nov 14

The role of formal methods in computer science education. ~ Maurice ter Beek, Manfred Broy, Brijesh Dongol. dl.acm.org/doi/pdf/10.1... #FormalMethods #CompSci #Education

2 4

Reposted by Formal Methods Europe

julia ferraioli @juliaferraioli.com · Apr 15

"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS

#TLAPlusConf #FormalMethods #OpenSource

Photo of Marc Brooker presenting a slide at TLA+ Conference

1 1 5

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · Dec 7

We are Formal Methods Europe, a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Formal methods focus on rigorous semantics engineering tools and notations.

Find out more here: https://buff.ly/4iCUUXd
#FormalMethods

Formal Methods Europe

FME’s Teaching Committee has recently organised a special issue of Formal Aspects of Computing that puts forward different perspectives on why and how Formal Methods should be represented in Computer…

buff.ly

1 3

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · Apr 8

The 27th Symposium on Formal Methods CfP

If your work develops or applies #FormalMethods then #FM2026 is probably interested!

Dates (AoE)
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026

Gold open access proceedings

Details:

FM 2026 - FM 2026

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

conf.researchr.org

4 3