Current Issue
The Proceedings of the 27th Brazilian Symposium on Formal Methods (SBMF 2024) bring the papers selected and presented in the edition of the event held in Vitória/ES, Brazil, from December 04-06, 2024. In this issue, the proceedings include 08 full papers and 04 short papers, from a total of 18 papers submitted, which implied an acceptance rate of 66.67%. Each paper received three reviews. The event's program committee was coordinated by Sidney C. Nogueira (UFRPE, Brazil) and Ciprian Teodorov (ENSTA Bretagne, France), who organized this volume. The articles in this volume were submitted on 08/18/2024, accepted for publication on 09/23/2024, with the final version submitted on 10/13/2024.
You can find more information about SBMF 2024 by visiting the website of the event.
