FMBC 2020: 2ND INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
FMBC Room 2 (https://us02web.zoom.us/j/81630710195?pwd=Q3pKV1QvQXlDMmhhWTNlTVN5L1N0QT09)

Zoom URL: https://us02web.zoom.us/j/81630710195?pwd=Q3pKV1QvQXlDMmhhWTNlTVN5L1N0QT09

(Meeting ID: 816 3071 0195, passcode: 828072)

Sessions

  • Session 4 (Jul 21 05:45-06:30) Merkle trees and Bitcoin
  • Session 5 (Jul 21 06:30-07:15) Consensus
  • Session 6 (Jul 21 07:15-08:00) Lightning talks