The 2nd Workshop on Formal Methods for Blockchains (FMBC) took place virtually on July20/21 2020 as part of CAV 2020, the 32nd International Conference on Computer-AidedVerification. Its purpose was to be a forum to identify theoretical and practical approachesapplying formal methods to blockchain technology.This second edition of FMBC attracted 18 submissions (10 long papers, 4 short papers,and 4 extended abstracts) on topics such as verification of smart contracts or analysis ofconsensus protocols. Each paper was reviewed by at least three program committee membersor appointed external reviewers. This led to a selection of 10 papers (7 long and 3 short) thatwill be presented at the workshop as regular talks, as well as 1 long paper and 4 extendedabstracts that will be presented as lightning talks. Additionally, we were very pleased tohave an invited keynote by Grigore Rosu (University of Illinois at Urbana-Champaign).This volume contains the papers selected for regular talks, the extended abstracts andpaper selected for lightning talks as well as the abstract of the invited talk. Before inclusion,the papers were reviewed a second time after the workshop by the program committee.We thank all the authors that submitted a paper, as well as the program committeemembers and external reviewers for their immense work. We are grateful to Shuvendu Lahiriand Chao Wang, Program Chairs of CAV 2020, and to Zvonimir Rakamaric, Workshop Chairof CAV 2020, for their support and guidance. Finally, we would like to express our gratitudeto our sponsor Nomadic Labs for its generous support.
展开▼