iiinova — where your digital self keeps evolving

Formal Methods Europe @formalmtds.bsky.social · 05/12/2025

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

fmeurope.org

Book Review: Domain-Specific Languages – Effective Modeling, Automation, and Reuse · Formal Methods Europe

020

Formal Methods Europe @formalmtds.bsky.social · 04/12/2025

fmeurope.org

Book Review: Domain-Specific Languages – Effective Modeling, Automation, and Reuse · Formal Methods Europe

000

Formal Methods Europe @formalmtds.bsky.social · 02/12/2025

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

fmeurope.org

Book Review: Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications · Formal Methods Europe

011

Formal Methods Europe @formalmtds.bsky.social · 02/12/2025

fmeurope.org

Book Review: Domain-Specific Languages – Effective Modeling, Automation, and Reuse · Formal Methods Europe

001

Formal Methods Europe @formalmtds.bsky.social · 01/12/2025

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

fmeurope.org

FM 2027: Call for Organizers · Formal Methods Europe

FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in…

002

Formal Methods Europe @formalmtds.bsky.social · 01/12/2025

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

conf.researchr.org

FM 2026 - Doctoral Symposium - FM 2026

FM 2026 Doctoral Symposium, May 18 or 19, 2026

011

Formal Methods Europe @formalmtds.bsky.social · 28/11/2025

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

conf.researchr.org

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…

010

Formal Methods Europe @formalmtds.bsky.social · 28/11/2025

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

conf.researchr.org

FM 2026

000

Formal Methods Europe @formalmtds.bsky.social · 27/11/2025

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

fmeurope.org

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,…

010

Formal Methods Europe @formalmtds.bsky.social · 27/11/2025

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

conf.researchr.org

FM 2026

010

Formal Methods Europe @formalmtds.bsky.social · 18/09/2025

conf.researchr.org

FM 2026

000

Formal Methods Europe @formalmtds.bsky.social · 16/09/2025

conf.researchr.org

FM 2026 - Doctoral Symposium - FM 2026

FM 2026 Doctoral Symposium, May 18 or 19, 2026

000

Formal Methods Europe @formalmtds.bsky.social · 16/09/2025

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

conf.researchr.org

FM 2026 - Industry Day - FM 2026

010

Formal Methods Europe @formalmtds.bsky.social · 15/09/2025

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

conf.researchr.org

FM 2026 - Tutorials - FM 2026

021

Formal Methods Europe @formalmtds.bsky.social · 15/09/2025

conf.researchr.org

FM 2026

020

Formal Methods Europe @formalmtds.bsky.social · 12/09/2025

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

conf.researchr.org

FM 2026

000

Formal Methods Europe @formalmtds.bsky.social · 12/09/2025

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

fmeurope.org

FM 2026: Call for Papers · Formal Methods Europe

001

Formal Methods Europe @formalmtds.bsky.social · 11/09/2025

conf.researchr.org

FM 2026

031

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 15/08/2025

🚨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

buff.ly

Seventh International Workshop on Formal Methods for Autonomous Systems

021

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 20/08/2025

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/

fmasworkshop.github.io

Seventh International Workshop on Formal Methods for Autonomous Systems

023

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 12/08/2025

fmasworkshop.github.io

Seventh International Workshop on Formal Methods for Autonomous Systems

032

Reposted by Formal Methods Europe

Matt Luckcuck @mattluckcuck.bsky.social · 15/08/2025

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!

023

Reposted by Formal Methods Europe

Matt Luckcuck @mattluckcuck.bsky.social · 08/07/2025

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

fmasworkshop.github.io

Seventh International Workshop on Formal Methods for Autonomous Systems

012

Formal Methods Europe @formalmtds.bsky.social · 15/08/2025

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

fmeurope.org

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

022

Reposted by Formal Methods Europe

José A. Alonso @jalonso.eurosky.social · 14/11/2024

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

042

Reposted by Formal Methods Europe

julia ferraioli @juliaferraioli.com · 15/04/2024

"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

151

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · 07/12/2024

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: buff.ly/4iCUUXd #FormalMethods

buff.ly

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…

031

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · 08/04/2025

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:

conf.researchr.org

FM 2026 - FM 2026

034

Formal Methods Europe @formalmtds.bsky.social · 10/04/2025

conf.researchr.org

FM 2026 - FM 2026

020

Formal Methods Europe @formalmtds.bsky.social · 09/04/2025

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

010

Formal Methods Europe @formalmtds.bsky.social · 08/04/2025

conf.researchr.org

FM 2026 - FM 2026

034

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · 03/03/2025

Did you know that we have a YouTube Channel? The FME YouTube channel collects invited talks at FM Symosia, FomaliSE conferences, and other formal methods events. Rewatch the invited talks on our YouTube channel (it's the next best thing to being there). buff.ly/43h03i3 #FormalMethods

buff.ly

Formal Methods Europe

FME is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software. Formal methods differ from many software engineering…

031

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · 04/03/2025

Did you miss the invited talk at #FormaliSE2024 ? No you didn't. Watch it again on our YouTube channel: buff.ly/3F0ISaA We collect the invited talks for FM, FormaliSE, and other #FormalMethods events

buff.ly

FormaliSE 2024

Share your videos with friends, family, and the world

011

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · 06/03/2025

Can't remeber something important from the #FM2023 invited talks? Yes you can. Watch them again on our YouTube channel: buff.ly/41khRXh We collect the invited talks for FM, FormaliSE, and many other #FormalMethods events

031

Reposted by Formal Methods Europe

Formal Methods Europe @formalmtds.bsky.social · 07/03/2025

The invited talks from #FMAS2024 are on our YouTube channel: buff.ly/3QFxNhE You can (re)watch "Proof for Industrial Systems using Neural Certificates" by Daniel Kröning (joint with #iFM2024) and "Self-Adaptation in Autonomous Systems" by Lizeth Tarifa #FormalMethods @fmasworkshop.bsky.social

buff.ly

FMAS 2024

FMAS brings together researchers working on a range of techniques for the formal verification of autonomous systems. Details of FMAS 2023, including the link...

032

Formal Methods Europe @formalmtds.bsky.social · 07/03/2025

buff.ly

FMAS 2024

FMAS brings together researchers working on a range of techniques for the formal verification of autonomous systems. Details of FMAS 2023, including the link...

032

Formal Methods Europe @formalmtds.bsky.social · 06/03/2025

031

Formal Methods Europe @formalmtds.bsky.social · 04/03/2025

Did you miss the invited talk at #FormaliSE2024 ? No you didn't. Watch it again on our YouTube channel: buff.ly/3F0ISaA We collect the invited talks for FM, FormaliSE, and other #FormalMethods events

buff.ly

FormaliSE 2024

Share your videos with friends, family, and the world

011

Formal Methods Europe @formalmtds.bsky.social · 03/03/2025

buff.ly

Formal Methods Europe

FME is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software. Formal methods differ from many software engineering…

031

Reposted by Formal Methods Europe

Étienne André @etienneandre.bsky.social · 16/01/2025

The paper submission deadline to Petri Nets 2025, organized by @lipnlab.bsky.social at @univ-spn.bsky.social in June 2025, is extended by one week ⌛️ petrinets25.github.io/web/cfp/

012

Reposted by Formal Methods Europe

Volker Stolz🏳️‍🌈 @fm-volker.mastodon.social.ap.brid.gy · 16/01/2025

‼️ The ECOOP 2025 Artifact Evaluation Program Committee is 👉 seeking self-nominations from industry practitioners, researchers & PhD students‼️ forms.office.com/Pages/ResponsePage… Prior […]

mastodon.social

Original post on mastodon.social

021

Formal Methods Europe @formalmtds.bsky.social · 16/01/2025

The wait is over! 🚀 Join us TODAY for the next FME Industry Committee talk! Dr. David Delmas (Airbus) dives into Formal Verification of #Avionics Software 🛫. Discover how #FormalMethods are revolutionising avionics! ⏰ 3 PM CET 🔗 buff.ly/4hf4WvP Don’t miss it! 🎯 #Aerospace

buff.ly

Join our Cloud HD Video Meeting

Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom…

010

Formal Methods Europe @formalmtds.bsky.social · 07/12/2024

We are the Formal Methods Europe association, and we encourage #FormalMethods research and application. We have memebers in academia and industry, and exchange knowledge of new research and industrial practice via symposia and conferences. Find out more:

buff.ly

Formal Methods Europe

020

Formal Methods Europe @formalmtds.bsky.social · 07/12/2024

buff.ly

Formal Methods Europe

031

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 08/11/2024

In case you're also on Mastodon, good news! We're on there too, with the same account name. We're on the ACM server, so come and give us a follow: mastodon.acm.org/@FMASWorkshop

Screenshot of a Mastodon account header for FMASWorkshop on the ACM mastodon server (mastodon.acm.org)

022

Reposted by Formal Methods Europe

Formal Methods for Autonomous Systems @fmasworkshop.bsky.social · 12/11/2024

@louiseadennis.bsky.social talked mainly about her expertise for the last 15 years: the MCAPL Framework... But also gives a cheeky peek into her worlds—like a TARDIS, bigger on the inside!! (Any Doctor Who enthusiasts out there? You know whom to reach out to!)

032

Reposted by Formal Methods Europe

Samuel Teuber @ PLDI @teuber.bsky.social · 17/11/2024

You want to ensure that your neural network *never* crashes your control system? Our (now accepted 🥳) #NeurIPS paper introduces: - Reusing control theory for NN verification - Verifying *nonlinear arithmetic* specs on NNs This guarantees your NN won't behave like this (1/12):

A schematic plot of two planes flying towards each other at equal vertical positions. An orange line indicates the original flight trajectory of the plane on the left, and a blue line indicates an updated trajectory that was proposed by a neural network. The latter would lead to a crash of the two planes.

1135