Programme
The workshop will take place in room III (2nd floor) of the Palazzo delle Scienze, via Ospedale 72, Cagliari.
September 11, 2023
| Time |
Talk |
| 9.30-10.00 |
Opening & Welcome coffee |
| 10:00-11:00 |
Security Verification of Ethereum Smart Contracts with ML Taking a Free Ride from Static Analysis |
| 11:00-12:00 |
An open benchmark for evaluating verification tools for smart contracts |
| 12:00-13:00 |
State-based modeling and verification of smart contracts |
| 13:00-14:00 |
Lunch break |
| 14:00-15:00 |
Programming abstractions for DLTs |
| 15:00-16:00 |
Contradictions in (smart) legal contracts |
| 16:00-16:15 |
Coffee break |
| 16:15-17:15 |
Design and implementation of static analyses via formal methods for blockchain |
| 17:15-18:15 |
Analysis and verification of smart contracts with behavioural types |
| 20:30-22:30 |
Social dinner at Sa Schironada (via Baylle 39, Cagliari) |
September 12, 2023
| Time |
Talk |
| 9:30-10:30 |
Challenges in UTXO-contracts and DeFi composability |
| 10.30-10:45 |
Coffee break |
| 10:45-11:45 |
Challenges in MEV detection and Modelling crypto-markets |
| 11:45-12:45 |
Improving liquidity in DeFi protocols |
| 12:45-14:00 |
Closing & Lunch |