Keynote Speaker:
Prof. Andrea Bracciali
Stirling University - Scotland - UK
Keynote Title:
On smart contracts design and verification evolution.
Abstract:
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
frameworks.