Informatica teorica e metodi formali

https://cartabinaria.github.io/opportunities/summer_schools/theoretical_computer_science/