22may18:0021:00Design and verification of Bitcoin smart contracts with BitMLZug
Join us in CV Labs on May 22nd at 6:00pm. Prof. Dr Massimo Bartoletti will discuss the design and verification of Bitcoin smart contracts with BitML. >> Event auf Meetup This
Join us in CV Labs on May 22nd at 6:00pm. Prof. Dr Massimo Bartoletti will discuss the design and verification of Bitcoin smart contracts with BitML.
This is part of the Lecture Series on Blockchain organised by UZH.
TOPIC: “Design and verification of Bitcoin smart contracts with BitML”
SPEAKER: Prof. Dr Massimo Bartoletti, Dip. Matematica e Informatica, Università di Cagliari, Italia
22. Mai 2019 18:00 - 21:00 CEST(GMT+00:00)