Zulip Chat Archive

Stream: general

Topic: FMBC2021


view this post on Zulip 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

Diego


Last updated: May 13 2021 at 21:12 UTC