Theoretical Computer Science and Formal Methods https://cartabinaria.github.io/en/opportunities/summer_schools/theoretical_computer_science/