FMBC: List of Accepted Papers

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!