Keynote Speaker: Prof. Andrea Bracciali Stirling University - Scotland - UK
On smart contracts design and verification evolution.
Together with the evolution of the consensus core of blockchains,
the possible way in which we design and implement smart contracts
is also undergoing a strong evolution. In this talk we will discuss a
few significant approaches, languages, engineering and verification