[Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP

2019-06-29 Thread Bruno Bernardo
[ Please distribute, apologies for multiple postings. ] == 1st Workshop on Formal Methods for Blockchains (FMBC) 2019 https://sites.google.com/view/fmbc/home Porto, Portugal, October 11 Part of the 3rd World Congress on Formal Methods

[Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP

2019-06-25 Thread Bruno Bernardo
[ Please distribute, apologies for multiple postings. ] == 1st Workshop on Formal Methods for Blockchains (FMBC) 2019 https://sites.google.com/view/fmbc/home Porto, Portugal, October 11 Part of the 3rd World Congress on Formal Methods