Theoretical Computer Science and Formal Methods

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