Meeting on Formal Methods and Smart Contracts

Inizio: Mercoledì 23 Ottobre ore 10.30 - Fine: Giovedì 24 Ottobre ore 13.00

  • Data:

    23 OTTOBRE
    -
    24 OTTOBRE 2019
     

  • Luogo: Aula Busi - Dipartimento di Informatica - Scienza e Ingegneria, Mura Anteo Zamboni 7, Bologna

  • Tipo: Workshop

INTERVENTI:

1. Massimo Bartoletti - Università di Cagliari: Intro generale su modelli per smart contracts

2. Roberto Zunino - Università di Trento: BitML e sua verifica

3. Letterio Galletta - IMT Lucca: TinySol

4. Claudio Sacerdoti Coen - Università di Bologna: Prediction of smart contract behaviour

5. Silvia Crafa - Università di Padova: Type (un)soundness of Solidity

6. Cosimo Laneve - Università di Bologna: Analisi di Ether scambiati da smart contracts

7. Stefano Bistarelli - Università di Perugia: TO BE ANNOUNCED