FMBC26: 7th International Workshop on Formal Methods for Blockchains will be held in Torino, Italy, April 11, 2026

The event aims to explore a range of themes, including the following: formal methods, blockchain, verification and smart contracts.