#fm2026 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #fm2026, aggregated by home.social.
-
-
-
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!
-
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.
-
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).
-
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 🙄
-
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.
-
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 -
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 -
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] -
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] -
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 -
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 -
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.
Extended versions of selected papers will be invited for publication in the Formal Aspects of Computing journal.
-
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.
Extended versions of selected papers will be invited for publication in the Formal Aspects of Computing journal.
-
The Formal Methods Symposisum 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 -
The 27th Formal Methods symposium will feature a Tutorial track, which is interested in work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by fundamental academic interests, or by needs from specific application domains.
These papers can be upto 25 pages long (LNCS format)
Details: https://conf.researchr.org/track/fm-2026/fm-2026-tutorials
#FM2026 -
The 27th Formal Methods symposium will feature a Tutorial track, which is interested in work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by fundamental academic interests, or by needs from specific application domains.
These papers can be upto 25 pages long (LNCS format)
Details: https://conf.researchr.org/track/fm-2026/fm-2026-tutorials
#FM2026 -
The Formal Methods Symposium 2026 will have a special track on Tests & Proofs (TAP)
TAP is interested in work at the intersection of static and dynamic analysis techniques, which are complementary approaches.
TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.
Details: https://conf.researchr.org/track/fm-2026/fm-2026-tap
-
New Post: Call for Papers for #FM2026
This is the CfP for FME's 27th International Symposium on Formal Methods, this year held in Tokyo.
Papers are due on 2nd of Dec 2025 (AoE) and there are special tracks on Tests & Proofs and tutorials. Plus Industry Day and the FM Doctoral Symposium.
Read the full post: https://www.fmeurope.org/2025/04/10/fm-2026-call-for-papers/
#FormalMethods -
New Post: Call for Papers for #FM2026
This is the CfP for FME's 27th International Symposium on Formal Methods, this year held in Tokyo.
Papers are due on 2nd of Dec 2025 (AoE) and there are special tracks on Tests & Proofs and tutorials. Plus Industry Day and the FM Doctoral Symposium.
Read the full post: https://www.fmeurope.org/2025/04/10/fm-2026-call-for-papers/
#FormalMethods -
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: https://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.
-
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.
-
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: https://conf.researchr.org/home/fm-2026 -
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.
Extended versions of selected papers will be invited for publication in the Formal Aspects of Computing journal.
-
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.
Extended versions of selected papers will be invited for publication in the Formal Aspects of Computing journal.
-
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 -
Pop the tape in, press play, and get ready for…
Furry Migration 2026: Be Kind; Rewind!
Join us in welcoming guests of honor NightlineZ, outsidewolves, planet clue, and special guest d.notive!
You won’t want to miss it, so mark your calendars for September 11-13, 2026!
----‐-------------------------
THERE I AM!!!! AHHHH I'm beyond excited and blessed to be a Guest of Honor for #fm2026! Can't wait to party and nerd over VHS with y'all!
#furrymigration #furrymigration2026 #furry #furrycon #vhs #bekindrewind
-
Pop the tape in, press play, and get ready for…
Furry Migration 2026: Be Kind; Rewind!
Join us in welcoming guests of honor NightlineZ, outsidewolves, planet clue, and special guest d.notive!
You won’t want to miss it, so mark your calendars for September 11-13, 2026!
----‐-------------------------
THERE I AM!!!! AHHHH I'm beyond excited and blessed to be a Guest of Honor for #fm2026! Can't wait to party and nerd over VHS with y'all!
#furrymigration #furrymigration2026 #furry #furrycon #vhs #bekindrewind
-
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: https://conf.researchr.org/track/fm-2026/fm-2026-tap#Call-for-Papers
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
-
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: https://conf.researchr.org/track/fm-2026/fm-2026-tap#Call-for-Papers
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
-
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 proceedingsDetails:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
-
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 proceedingsDetails:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
-
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
Gold Open Access proceedingsDetails:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
-
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
Gold Open Access proceedingsDetails:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
-
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 2026Gold open access proceedings
Details:
-
The 27th Symposium on Formal Methods wants your paper!
If your work develops or applies #FormalMethods then #FM2026 is probably interested!
Dates (AoE)
* Abstracts: 25th Nov 2025
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026Proceedings in Springer's LNCS FM subline (gold open access)
Details:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper
-
The 27th Symposium on Formal Methods wants your paper!
If your work develops or applies #FormalMethods then #FM2026 is probably interested!
Dates (AoE)
* Abstracts: 25th Nov 2025
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026Proceedings in Springer's LNCS FM subline (gold open access)
Details:https://conf.researchr.org/track/fm-2026/fm-2026-research-paper