About This Session

Computable Contracts are legal contracts that are readable by both humans and computers.  This facilitates contract analytics, automated translation into smart contract code, and automatic validation of the correctness of the smart contract code (i.e. to prove that it is faithful to the contract).  This presentation will outline  the vision for Computable Contracts and the current R&D roadmap.

July 9, 2019
9:15 am
See Full Schedule
Interested in Blockchain?

London Blockchain Week
February 2020

Learn More