29 Aug
Thursday
29
August
2019,
at
14:30
Nygaard-295 (building 5335, room 295), Dept. of Computer Science, Åbogade 34, 8200 Aarhus N
Title: Mechanizing the Semantics of Tezos’ Bytecode in F*
Abstract: In this presentation from 2017, I will recall work done during an internship…