27th Brazilian Symposium on Formal Methods (SBMF 2024)
Date: Dec 04, 2024 7:00 am – Dec 06, 2024 5:00 pm
Location: Vitória, Espírito Santo, Brazil
We are pleased to invite you to the 27th Brazilian Symposium on Formal Methods (SBMF 2024) held in Vitória, Espírito Santo, Brazil, from December 4-6, 2024. Preceding SBMF will be the School of Theoretical Computer Science and Formal Methods (ETMF 2024), also in Vitória, on December 3rd.
This year, SBMF offers a rich program, including technical sessions, talks by leading figures in formal methods from Brazil and the international community, and a special session featuring representatives from the formal methods industry.
Please visit the conference website for details on the SBMF/ETMF program and registration information.: https://sbmf24.ifes.edu.br/
Submitted by Regan Williams
on
Date: Dec 04, 2024 7:00 am – Dec 06, 2024 5:00 pm
Location: Vitória, Espírito Santo, Brazil
We are pleased to invite you to the 27th Brazilian Symposium on Formal Methods (SBMF 2024) held in Vitória, Espírito Santo, Brazil, from December 4-6, 2024. Preceding SBMF will be the School of Theoretical Computer Science and Formal Methods (ETMF 2024), also in Vitória, on December 3rd.
This year, SBMF offers a rich program, including technical sessions, talks by leading figures in formal methods from Brazil and the international community, and a special session featuring representatives from the formal methods industry.
Please visit the conference website for details on the SBMF/ETMF program and registration information.: https://sbmf24.ifes.edu.br/
Submitted by Regan Williams
on