FMBC 2020: 2ND INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
PROGRAM FOR TUESDAY, JULY 21ST: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

6:00
6:30
7:00
7:30
8:00
05:45-05:55
Andreas Lochbihler, Ognjen Maric
05:55-06:05
Kristijan Rupić, Lovro Rozic, Ante Derek
06:05-06:15
Kai Brünnler, Ramon Boss, Anna Doukmak
06:30-06:40
Giuliano Losa, Mike Dodds
06:40-06:50
Braithwaite, Buchman, Konnov, Milosevic, Stoilkovska, Widder, Zamfir
07:15-07:21
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
07:27-07:33
Benjamin S. Hvass, Diego F. Aranha, Bas Spitters
07:33-07:39
B. Bernardo, R. Cauderlier, A. Jakobsson, B. Pesin, J. Tesson
07:39-07:45
L.P. Arrojado Horta, J. Santos Reis, M. Pereira, S. Melo de Sousa