FMBC 25 @ ETAPS 2025

Created in October 10, 2024

2024

The next version of Formal Methods for Blockchains (FMBC) will take place beginning of April in Luxembourg, co-located with ETAPS 2025!

This will be the sixth edition of the workshop in which we will discuss and identify possibilities and limitations of formal methods to provide a more rigorous approach to blockchain.

Topics include, but are not limited to:

  • Formal models of blockchain applications or concepts
  • Formal models for consensus protocols and their verification
  • Formal methods for blockchain-specific cryptographic primitives
  • Formal languages for smart contracts
  • Verification of smart contracts