Diego Marmsoler (Apr 09 2021 at 09:21):
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
Last updated: May 13 2021 at 21:12 UTC