Title: Smart contracts programming: formal methods in action
Time: 9:30
Location: Meeting Room B, Building Zeta
Type: Research talk
Speaker:  Silvia Crafa
Abstract:
In this talk I’ll focus on smart contracts in the Ethereum blockchain, discussing their motivations and  presenting their programming model. I’ll show how the theory of programming languages can be used in this new context to clarify the semantics of contracts written in the Solidity programming language. Moreover, I’ll show how the development of the type theory of the formalised core of Solidity revealed a type-safety issue in its compiler, and I’ll suggest a solution that might be reused in the more classical context of Object Oriented Languages.