iiinova — where your digital self keeps evolving

Diego Marmsoler

@dmarmsoler.bsky.social

Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com

Diego Marmsoler @dmarmsoler.bsky.social · 11/04/2026

Our afternoon session at #FMBC starts with a keynote about verifying zkEVMs by Alexander Hicks from @ethereum.foundation

000

Diego Marmsoler @dmarmsoler.bsky.social · 11/04/2026

The 7th edition of #FMBC is kicking off in Turin as part of @etapsconf.bsky.social with a keynote of Jochen Hoenicke from Certora

001

Diego Marmsoler @dmarmsoler.bsky.social · 04/03/2026

The list of accepted papers for #FMBC26 is published. Thanks to all the authors and looking forward to interesting talks and discussions at #FMBC26 @ETAPSconf fmbc.gitlab.io/2026/accepte...

fmbc.gitlab.io

FMBC 2026 - Accepted Papers

000

Diego Marmsoler @dmarmsoler.bsky.social · 12/01/2026

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)

fmbc.gitlab.io

FMBC - Home

100

Diego Marmsoler @dmarmsoler.bsky.social · 15/10/2025

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

conf.researchr.org

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...

000