10 Dec
Tuesday
10
December
2019,
at
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…