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

Zoom URL: https://us02web.zoom.us/j/82143687753?pwd=NlBDVlVEZGR2eGd5cmtrMGdRUXQ0UT09

(Meeting ID: 812 4368 7753, password: 618352)

Sessions

  • Session 1 (Jul 20 06:00-06:05) Introduction
  • Session 2 (Jul 20 06:05-07:00) Invited talk
  • Session 3 (Jul 20 07:05-08:00) Smart contracts and payments