DLT-FM: Workshop on Distributed Ledger Technologies and Formal Methods

Cagliari (Italy), September 11-12, 2023

Venue & accommodation

The workshop, which is planned as a physical, in-person event, will be hosted at the Department of Mathematics and Computer Science of the University of Cagliari (Italy).

The venue is in the city center, close to the historical area of Castello. The city center can be reached from the Cagliari airport in 15’ by taxi (it costs around 20 EUR), or by train.

In the center of Cagliari there are several affordable accomodation opportunities: check and


An open benchmark for evaluating verification tools for smart contracts

Massimo Bartoletti (University of Cagliari)

Analysis and verification of smart contracts with behavioural types

Emilio Tuosto and Maurizio Murgia (GSSI)

Challenges in UTXO-contracts and DeFi composability

Roberto Zunino and Riccardo Marchesin (University of Trento)

Contradictions in (smart) legal contracts

Cosimo Laneve (University of Bologna)

Challenges in MEV detection and Modelling crypto-markets

Alberto Leporati, Giovanni Denaro, Marco Viviani, and Davide Mancino (University of Milano Bicocca)

Security Verification of Ethereum Smart Contracts with ML Taking a Free Ride from Static Analysis

Lorenzo Benetollo, Michele Bugliesi, Sabina Rossi (Ca’ Foscari Venezia), Silvia Crafa (University of Padova), and Dalila Ressi (University of Udine)

Programming abstractions for DLTs

Silvia Crafa (University of Padova), Lorenzo Benetollo, Michele Bugliesi, Sabina Rossi, and Alvise Spanò (Ca’ Foscari Venezia)

Improving liquidity in DeFi protocols

Letterio Galletta and Margherita Renieri (IMT Lucca)

State-based modeling and verification of smart contracts

Chiara Braghin, Elvinia Riccobene and Simone Valentini (University of Milano)

Design and implementation of static analyses via formal methods for blockchain

Agostino Cortesi, Luca Olivieri and Pietro Ferrara (Ca’ Foscari Venezia)


Go to the programme page.

The workshop will be followed by the 4th Scientific School on Blockchain & Distributed Ledger Technologies.

Past editions


The workshop is organised thanks to the economic and organising support of the University of Cagliari.