We decided to extend the paper deadline of #FMBC25 (@ETAPSconf ) by one week. New deadlines as follows: - Abstract submission: February 10th, 2025 - Full paper submission: February 17th, 2025 So it is still a bit of time to send us your paper on formal methods for Blockchain!!!

Happy to announce that @wgrieskamp from @Aptos will give a keynote at #FMBC25 (co-located with @ETAPSconf ). We are looking forward to an exciting program about formal methods for Blockchains.

Highlights -We provide a novel calculus to support the verification of Solidity smart contracts -The calculus is formalized in Isabelle and its soundness is mechanically verified -We demonstrate the approach by verifying an invariant for an implementation of a token in Solidity

We are happy to announce that @JulekSU will give a keynote at #FMBC25 @ETAPSconf Julian leads the formal verification team at @NethermindEth, developing formal methods-based solutions to formally verifying the web3 ecosystem.

Happy to announce that #FMBC will take place again in 2025 as part of @ETAPSconf ! Paper submission deadline will be February 10th 25. We are looking forward to receive your contributions about your work on Formal Methods for Blockchain.

RT @WixStudio: 🧵 New features and updates on Wix Studio:

Check out our new paper "Secure Smart Contracts with Isabelle/Solidity" in which we present a new approach for the verification of Solidity smart contracts in Isabelle. Preprint is available online [1] and we will present the paper at #SEFM24. [1]:

RT @facs_conf: FACS 24 will start tomorrow at @polimi! We do have an exciting program which is available on our website:

If you are interested in formalizing consensus protocols you might be interested in our #FMBC24 paper: Towards Mechanised Consensus in Isabelle

@UniofExeter @gihanmarasingha @drbarriecooper [1]:

The call for papers is available at (or

The proceedings volume for #FMBC 2024 is now officially published and available at: Thanks again to all the authors, our keynote speaker (@franckDownunder), and our sponsors @ethereum and @0xMantle

RT @facs_conf: The 3th CfP for #FACS24, co-located with @FMsymp, is out with **extended deadlines**. The new dates are as follows: - Abstra…

I will present my work on Isabelle/Solidity at the @VetSS_RI Annual Meeting 2024. The event will be held at the Royal Academy of Engineering, London on Tuesday, 21st of May! The program is available here:

RT @facs_conf: The 2nd CfP for #FACS24 @FMsymp is out: - Special track: FM of Component Software in the context of emerging computational p…

The 2nd CfP for #FACS24 @FMsymp is out: - Special track: FM of Component Software in the context of emerging computational paradigms - Special issue featuring extended versions of selection of submissions - Best paper award recognizing best submissions

RT @wgrieskamp: Pre-Proceedings of FMBC-24 -- Formal Methods for Blockchains -- are online! You can find our paper about Securing the Aptos…