Current Issue
The Proceedings of the 6th Brazilian Workshop of Logic (WBL 2025) bring the papers selected and presented in the edition of the event held in Maceió, AL, Brazil, from July 20 to 24, 2025, as part of the 45th Congress of the Brazilian Computing Society (CSBC 2025), whose theme was "Digital Governance for a Sustainable Society". In this issue, the proceedings include 05 papers, which were selected through a single-blind review process, among 07 submitions, impliing an acceptance rate of 71.4%. The event's Program Committee Chairs, Marlo Souza (UFBA) and Francicleber Martins (UFC), organized this volume together with Alexandre Braga (UNCISAL), CSBC 2025 Publications Chair. The papers in this volume were submitted on 05/31/2025, accepted for publication on 05/02/2025, having the final version submitted on 05/16/2025.
You can find more information about WBL 2025 by visiting the website of the event.
To access the proceedings of other events that were part of CSBC 2025, visit the Proceedings of CSBC 2025.
