Readings shared October 10, 2025. jaalonso.github.io/vestigium/po... #AI #CoqProver #Dafny #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Programming
Readings shared October 9, 2025
The readings shared in Bluesky on 9 October 2025 are:
State management in Haskell. ~ Ajeet Grewal. #Haskell #FunctionalProgramming
Haskell is the perfect fit for renewable energy tech. ~ Marc Jakobi.
jaalonso.github.io
October 11, 2025 at 7:14 AM
Everybody can reply
Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. edu.info.uaic.ro/metode-forma... #FormalMethods #Logic #Dafny
October 10, 2025 at 11:39 AM
Everybody can reply
1 likes
Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. edu.info.uaic.ro/metode-forma... #FormalMethods #Logic #Dafny
October 10, 2025 at 11:37 AM
Everybody can reply
2 likes
Formal methods in software engineering. ~ Andrei Arusoaie. edu.info.uaic.ro/metode-forma... #FormalMethods
October 10, 2025 at 11:34 AM
Everybody can reply
2 likes
Breaking “provably correct” Leftpad https://lobste.rs/s/bokqwe ##formalmethods
Breaking “provably correct” Leftpad
Why? Because it’s fun.
lukeplant.me.uk
October 4, 2025 at 4:50 PM
Everybody can reply
1 likes
PBFD and PDFD, formally verified methods, showed in an eight‑year enterprise trial development >20× faster than Salesforce OmniScript and queries 7‑8× faster than relational databases. https://getnews.me/pbfd-and-pdfd-scalable-breadth-first-and-depth-first-development/ #formalmethods #devops
October 2, 2025 at 7:00 PM
Everybody can reply
🚀 The 14th FormaliSE conference is coming to #ICSE2026!
A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.
🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.
🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
September 30, 2025 at 2:43 PM
Everybody can reply
1 reposts
3 likes
The LSFA 2025 workshop was held in Brasília on 7–8 October 2025, and its papers are published open-access in EPTCS 430. Read more: https://getnews.me/lsfa-2025-proceedings-logical-and-semantic-frameworks-in-brazil/ #lsfa2025 #formalmethods #brazil
September 30, 2025 at 12:42 PM
Everybody can reply
Large language model auto‑formalized kinematics problems with a 70% success rate on a 20‑item benchmark, generating differential game logic specifications. https://getnews.me/llms-achieve-70-success-in-autoformalizing-kinematics-problems/ #llm #formalmethods
September 29, 2025 at 9:18 AM
Everybody can reply
my first arXiv preprint is here ~~
Gödel Mirror: A Formal System for Contradiction-Driven Recursion.
A Lean4 mechanized system that treats contradiction as a control signal for recursion.
arxiv.org/abs/2509.16239
#logic #Lean4 #formalmethods #AI
Gödel Mirror: A Formal System for Contradiction-Driven Recursion.
A Lean4 mechanized system that treats contradiction as a control signal for recursion.
arxiv.org/abs/2509.16239
#logic #Lean4 #formalmethods #AI
Gödel Mirror: A Formal System For Contradiction-Driven Recursion
We introduce the Gödel Mirror, a formal system defined in Lean 4 that treats contradiction as a control signal for recursive structural evolution.
Inspired by Gödelian self-reference, our system's o...
arxiv.org
September 23, 2025 at 7:06 AM
Everybody can reply
1 saves
A new study classifies request‑response specs into six types, two non‑regular, and formalizes them with LTL, CTL, grammars and automata. It also surveys monitoring tools. Read more: https://getnews.me/six-type-classification-of-request-response-specs/ #requestresponse #formalmethods
September 23, 2025 at 2:24 AM
Everybody can reply
Despite AI's help, formal specification and verification remain tough. AI can assist with implementation, but ensuring the *correctness* and *relevance* of the initial specification is still a major human challenge. AI doesn't solve the "what to build" problem. #FormalMethods 3/6
September 21, 2025 at 10:00 PM
Everybody can reply
Team automata, a formal framework introduced in 1997, let components perform synchronized send and receive actions without a central controller, supporting distributed system design. https://getnews.me/team-automata-overview-recent-advances-and-future-research-roadmap/ #teamautomata #formalmethods
September 18, 2025 at 10:09 PM
Everybody can reply
The 16–17 September 2025 GandALF symposium in Valletta, Malta released its full proceedings (EPTCS vol 428). https://getnews.me/gandalf-2025-released-games-automata-logics-verification/ #gandalf2025 #formalmethods #malta
September 18, 2025 at 5:37 PM
Everybody can reply
The paper 'It Takes a Village' urges embedding formal fragments in RFCs; formal models uncovered race conditions in transport protocols. https://getnews.me/bridging-formal-and-informal-protocol-specifications-a-path-forward/ #formalmethods #protocols
September 18, 2025 at 4:43 PM
Everybody can reply
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
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
September 18, 2025 at 1:37 PM
Everybody can reply
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...
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
September 16, 2025 at 9:11 AM
Everybody can reply
1 likes
#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...
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
September 15, 2025 at 1:37 PM
Everybody can reply
1 reposts
2 likes
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
September 12, 2025 at 11:15 AM
Everybody can reply
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...
September 12, 2025 at 11:15 AM
Everybody can reply
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...
Details: conf.researchr.org/track/fm-202...
September 12, 2025 at 11:15 AM
Everybody can reply
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
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
September 12, 2025 at 9:11 AM
Everybody can reply
1 reposts
Program verification is not all-or-nothing https://lobste.rs/s/jblawy ##formalmethods
Program verification is not all-or-nothing
lawrencecpaulson.github.io
September 11, 2025 at 4:00 PM
Everybody can reply