2nd Workshop on Formal Methods for Blockchains (FMBC 2020) https://fmbc.gitlab.io/2020/ July 19, 2020 Los Angeles, US