Diego Marmsoler
@dmarmsoler.bsky.social
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
We just extended the deadline for #FMBC26. New dates as follows:
- Abstract submission: January 18th, 2026
- Full paper submission: January 25th, 2026
If you are working on Formal Methods for Blockchain consider submitting your work to #FMBC26 (fmbc.gitlab.io)
- Abstract submission: January 18th, 2026
- Full paper submission: January 25th, 2026
If you are working on Formal Methods for Blockchain consider submitting your work to #FMBC26 (fmbc.gitlab.io)
FMBC - Home
fmbc.gitlab.io
January 12, 2026 at 2:46 PM
We just extended the deadline for #FMBC26. New dates as follows:
- Abstract submission: January 18th, 2026
- Full paper submission: January 25th, 2026
If you are working on Formal Methods for Blockchain consider submitting your work to #FMBC26 (fmbc.gitlab.io)
- Abstract submission: January 18th, 2026
- Full paper submission: January 25th, 2026
If you are working on Formal Methods for Blockchain consider submitting your work to #FMBC26 (fmbc.gitlab.io)
If you are working on Formal Methods consider submitting your work to #FM2026 by @formalmtds.bsky.social
The 27th International Symposium on Formal Methods takes place in Tokyo from May 18 to 22. Abstract submission deadline is November 2025.
conf.researchr.org/home/fm-2026
The 27th International Symposium on Formal Methods takes place in Tokyo from May 18 to 22. Abstract submission deadline is November 2025.
conf.researchr.org/home/fm-2026
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 wh...
conf.researchr.org
October 15, 2025 at 1:06 PM
If you are working on Formal Methods consider submitting your work to #FM2026 by @formalmtds.bsky.social
The 27th International Symposium on Formal Methods takes place in Tokyo from May 18 to 22. Abstract submission deadline is November 2025.
conf.researchr.org/home/fm-2026
The 27th International Symposium on Formal Methods takes place in Tokyo from May 18 to 22. Abstract submission deadline is November 2025.
conf.researchr.org/home/fm-2026