Theoretical Computer Science and Formal Methods /en/opportunities/summer_schools/theoretical_computer_science/