Programme

The school will take place in Aula Magna di Fisica (1st floor) of the Palazzo delle Scienze, via Ospedale 72, Cagliari.

September 10, 2024

Time	Lecture
10.00-11.00	Opening
11.00-11.05	A. Pinna, M. I. Lunesu: Welcome from the organizers
11.05-11.15	F. Sainas - Tutorial: Certora installation
11:15-12:30	M. Bartoletti - Smart Contract Languages: a Comparative Analysis
12:30-14:00	Lunch break
14:30-16:00	A. Pinna, A. Spanò - Solidity vs. Move side-by-side (pt. 1)
16:00-16:30	Coffee break
16:30-18:00	P. Saggese - Decentralized Finance (DeFi) Protocols and their Compositions

September 11, 2024

Time	Lecture
9:00-10:30	A. Pinna, A. Spanò - Solidity vs. Move side-by-side (pt. 2)
10.30-11:00	Coffee break
11:00-12:30	D. Ressi - Securing Ethereum Contracts: Techniques and Tools
12:30-14:00	Lunch break
14:00-15:30	P. Georgiou - Preventing DeFi Bugs with Formal Verification
15:30-16:00	Coffee break
16:00-17:30	G. Corrias - Programmable Cryptography on Ethereum: a Practical Overview
20:30-23:00	Social dinner at Sa Schironada, via Baylle 39, Cagliari

September 12, 2024

Time	Lecture
9:00-10:30	M. Zichichi - IOTA Smart Contracts
10.30-11:00	Coffee break
11:00-12:30	IOTA CTF
12:30-14:00	Lunch break
14:00-15:30	C. Ferreira Torres - Exploring the Dark Forest: An Introduction to Maximal Extractable Value (MEV)
15:30-16:00	Coffee break
16:00-17:30	Hackathon

September 13, 2024

Time	Lecture
9:00-10:30	Hackathon
10.30-11:00	Coffee break
11:00-12:30	L. Clementi - Building the Open Metaverse with NFTs and Blockchain Technology
12:30-14:00	Lunch
14:00-16:00	Hackathon wrap-up & Groups Presentations: Project Ideas and Initial Results
16:00-16:30	Closing