Thanks to all the authors which sent their papers to FMBC: the 1st Workshop on Formal Methods for Blockchains @ FM.
Competition was fierce: we received 20 high-quality submissions out of which we accepted seven regular papers and three additional short papers.
The list of accepted papers is available at: https://sites.google.com/view/fmbc/program
Congratulations to all the authors of accepted papers!
We are looking forward to meeting all of you in October for a day of inspiring discussions on Formal Methods for Blockchains!