Design and verification of Bitcoin smart contracts with BitML

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 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