Keynote Speaker:

Prof. Andrea Bracciali
Stirling University - Scotland - UK


Keynote Title:

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