[Haskell-cafe] FMBC 2021 - Call for Participation

Bruno Bernardo bruno.bernardo at tutanota.com
Mon Jul 5 21:01:42 UTC 2021

[ Please distribute, apologies for multiple postings. ]


3rd International Workshop on Formal Methods for Blockchains (FMBC) 2021 - Call for Participation


July 18 and 19, 2021, Online, 8AM-10AM PDT

Co-located with the 33rd International Conference on Computer-Aided Verification (CAV 2021)



The FMBC workshop is a forum to identify theoretical and practical
approaches of formal methods for Blockchain technology. Topics
include, but are not limited to:
* Formal models of Blockchain applications or concepts
* Formal methods for consensus protocols
* Formal methods for Blockchain-specific cryptographic primitives or protocols
* Design and implementation of Smart Contract languages
* Verification of Smart Contracts

The list of lightning talks and conditionally accepted papers is available on the FMBC 2021 website:

There will be one keynote by David Dill, Lead Researcher on Blockchain at Novi/Facebook and professor emeritus at Stanford University, USA.


Registration to FMBC 2021 is done through the CAV 2021 registration form:

(*Early bird deadline is July 9.*)

More information about the Haskell-Cafe mailing list