9th School of Theoretical Computer Science and Formal Methods (ETMF 2024)
The 9th edition of the School of Theoretical Computer Science and Formal Methods (ETMF 2024) is a premier event dedicated to advancing knowledge in the field of theoretical computer science and the application of formal methods to software and system development. ETMF provides an educational forum where researchers, students, and professionals from academia and industry can exchange ideas, learn about the latest developments, and explore practical applications of formal methods in various domains.