10 dec
Tirsdag
10.
december
2019,
kl.
12:00
Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N
Speaker: Karl Palmskog, Researcher, KTH Royal Institute of Technology, Sweden
Title: Formal Verification of Blockchains: From Consensus to Code
Ab…