FMBC 2020: 2ND INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
PROGRAM FOR MONDAY, JULY 20TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

6:00
6:30
7:00
7:30
8:00
06:00-06:05 Introduction
07:05-07:15
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
07:35-07:45
Shuang Wu, Kristian Gjøsteen, Colin Alexander Boyd