Meeting on Formal Methods and Smart Contracts

Starts: Wednesday, October 23 at 10.30 - Ends: Thursday, October 24 at 1 PM

  • Date:

    23 OCTOBER
    -
    24 OCTOBER 2019
     

  • Event location: Aula Busi - Department of Computer Science and Engineering, Mura Anteo Zamboni 7, Bologna

  • Type: Workshop

SPEECHES:

1. Massimo Bartoletti - University of Cagliari: General introduction about models for smart contracts

2. Roberto Zunino - University of Trento: BitML and its verification

3. Letterio Galletta - IMT Lucca: TinySol

4. Claudio Sacerdoti Coen - University of Bologna: Prediction of smart contract behaviour

5. Silvia Crafa - University of Padova: Type (un)soundness of Solidity

6. Cosimo Laneve - University of Bologna: Analysis of Ether transferred between smart contracts

7. Stefano Bistarelli - University of Perugia: TO BE ANNOUNCED