9th School of Theoretical Computer Science and Formal Methods (ETMF 2024)
Date: Dec 03, 2024 7:00 am – Dec 03, 2024 5:00 pm
Location: Vitória, Espírito Santo, Brazil
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.
The school features a series of lectures, tutorials, and hands-on sessions delivered by renowned experts in the field, covering both foundational topics and cutting-edge research. Topics span a wide range of areas, including but not limited to:
- Formal verification
- Model checking
- Automated reasoning
- Program synthesis
- Logic and semantics
Applications of formal methods in AI, blockchain, and cybersecurity
ETMF 2024 is organized by the Graduate Program in Applied Computing (PPComp) at the Federal Institute of Espírito Santo (Ifes) and will take place in Serra, a city known for its growing industrial base and natural beauty. The event aims to foster collaborations between researchers and practitioners, strengthen the formal methods community, and inspire future research that meets contemporary technological challenges.
Submitted by Regan Williams
on
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.
The school features a series of lectures, tutorials, and hands-on sessions delivered by renowned experts in the field, covering both foundational topics and cutting-edge research. Topics span a wide range of areas, including but not limited to:
- Formal verification
- Model checking
- Automated reasoning
- Program synthesis
- Logic and semantics
Applications of formal methods in AI, blockchain, and cybersecurity
ETMF 2024 is organized by the Graduate Program in Applied Computing (PPComp) at the Federal Institute of Espírito Santo (Ifes) and will take place in Serra, a city known for its growing industrial base and natural beauty. The event aims to foster collaborations between researchers and practitioners, strengthen the formal methods community, and inspire future research that meets contemporary technological challenges.