#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!
-
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!
-
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.
-
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.
-
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).
-
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).
-
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 🙄
-
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 🙄
-
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.
-
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.
-
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 -
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 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] -
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 -
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 -
Me: *downgrades one of my player's playing time*
Her: "Hey, why did you do that?"
Me: "Sorry, you're just kinda bad"
Her: "Ah, yes, that makes sense." *leaves, whistling happily* -
My team hasn't been performing well recently, but shooting them on sight might be a bit too harsh.
-
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 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 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 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
-
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