FMBC2021

Stream: general

[Diego Marmsoler]

Hello, Lean Community,

this is just a brief announcement for those of you which are interested in Blockchain:

The FMBC workshop (co-located wit CAV2021) might be a good opportunity to get in touch with other people (such as myself) which are interested in Formal Methods and Blockchains.

The Call for Papers is available here: https://fmbc.gitlab.io/2021/cfp.html

Diego