5th Scientific School on Blockchain & Distributed Ledger Technologies

Cagliari, Sardinia, Italy

September 10-13 2024

===========================================================
https://dlt-school.github.io/
===========================================================

Crypto economics is a new discipline born after the rise of virtual currencies and distributed ledger technologies, and is rapidly developing in a unique intersection between computing, cryptography, law, economics, and game theory. The school aims at disseminating knowledge about the foundations and the applications of these technologies to researchers, PhD students, scholars and technologists in industry and academia, not excluding under- or new graduates with strong technical drive and a sufficient background.

# IMPORTANT DATES

- Application deadline: July 15, 2024
- Notification: July 19, 2024
- School dates: September 10-13, 2024

# VENUE & ACCOMMODATION

The school, 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 accommodation opportunities: check bed-and-breakfast.it and airbnb.it.

# REGISTRATION & SELECTION

The school plans for a maximum of 20 attendees; the attendance to the school is free, while travel and accommodation expenses are to be paid by participants (there are several affordable accommodations in Cagliari). The participants will be selected by the scientific committee on a CV best-match basis. All sessions will be held in English.

Registration link: https://forms.gle/bBdBLTu5986NEz4j8

# LECTURES

- Smart Contract Languages: a Comparative Analysis (Massimo Bartoletti, University of Cagliari)

- Solidity vs. Move side-by-side (Andrea Pinna, University of Cagliari & Alvise Spanò, Ca’ Foscari University of Venice)

- Decentralized Finance (DeFi) Protocols and their Compositions (Pietro Saggese, IMT Lucca)

- Securing Ethereum Contracts: Techniques and Tools (Dalila Ressi, Ca’ Foscari University of Venice)

- Preventing DeFi Bugs with Formal Verification (TBA, Certora)

- Programmable Cryptography on Ethereum: a Practical Overview (Giacomo Corrias, Ethereum Foundation)

- IOTA Smart Contracts (Mirko Zichichi, IOTA Foundation)

# CTF, HACKATHON & AWARDS

Besides the lectures and lab sessions, the school will feature a CTF competition and an hackathon on IOTA smart contracts. Participants will be grouped by the school organizers according to their background and expertise. The groups, composed of 3 students each, will start their projects during the last two days of the school. Projects can be completed offline after the school ends.

Projects will be evaluated by the school organizers and the IOTA Foundation. The best three projects will receive an award in IOTA cryptocurrency. The amounts of the awards are the following:

- 1st prize (2500 EUR)
- 2nd prize (1500 EUR)
- 3rd prize (1000 EUR)

# SCIENTIFIC COMMITTEE

- Massimo Bartoletti, University of Cagliari, Italy
- Stefano Ferretti, University of Bologna, Italy
- Claudio Schifanella, Università di Torino, Italy
- Francesco Tiezzi, Università degli Studi di Firenze, Italy
- Roberto Tonelli, University of Cagliari, Italy

# ORGANIZING COMMITTEE

- Andrea Pinna, University of Cagliari, Italy
- Maria Ilaria Lunesu, University of Cagliari, Italy