Shouldn’t forget to toot my own horn, pics from our tutorial on “Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach”. Here you have Ferruccio Damiani and Giordano Scarso. I did not take a selfie during my part. Very happy with the ~25 peeps turnout and no technical issues during the hands-on!
Clearing my FM2026 backlog: Peter Gorm Larsen and John Fitzgerald being enthusiastic about Digital Twins.
Daniel Kroening sharing his (and his employer’s) opinions on where we are in our journey from static analysers to LLMs and where/why we still want checkers (not: verifiers).
It's obviously Monday when you're showing up for your presentation, use your favourite virtual laser pointer, and:
Thank you, #Logitech 🙄
My Italian colleagues Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Gianluca Torta and me will be giving a full-day tutorial on Aggregate Programming at FM’26!
You can already get a glimpse on what we’re up to in our quest for world-domination (though decentralized!) at https://fcpp.github.io.
This year, the Formal Methods Symposium will be held in Tokyo, Japan between the
20th and 22nd of May 2026.
The symposium is interested in work that develops and applies #FormalMethods
in a wide range of domains. The
proceedings will published in Springers LNCS FM subline, with gold open access.
Abstracts: 25th Nov, 2025 (AoE)
Papers: 2nd Dec 2025 (AoE)
FM 2026 features two special tracks: one on Tests and Proofs (TAP) and another
on Tutorials.
All Details: https://conf.researchr.org/home/fm-2026
#FM2026
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 whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebra ...
The Formal Methods Symposium 2026 will also host the FM Doctoral Symposium, for
PhD students to present and discuss their work on #Formal
Methods.
This is a great way to meet other PhD students and get some early feedback on
your work, plus you will have the chance to talk with senior academics to
discuss research and career strategy.
Details to come:
https://conf.researchr.org/track/fm-2026/fm-2026-doctoral-symposium
#FM2026
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 whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebra ...
The 27th international symposium on Formal Methods (#FM2026
[https://mastodon.acm.org/tags/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.
Extended versions of selected papers will be invited for publication in the
Formal Aspects of Computing journal.
Details: https://conf.researchr.org/home/fm-2026
[https://conf.researchr.org/home/fm-2026]
Volker Stolz🏳️🌈
Formal Methods Europe