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

[ 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] ITP 2019: Call for Participation

CALL FOR PARTICIPATION ITP 2019 The Tenth International Conference on Interactive Theorem Proving 8 to 13 September 2019 in Portland, Oregon, USA https://itp19.cecs.pdx.edu/ Early registration deadline: 4 August Main conference: 9 September to 12 September Affiliated events: 8 September and 13