Current Issue
The Proceedings of the 5th Brazilian Workshop of Logic (WBL 2024) bring the papers selected and presented in the edition of the event held in Brasília, DF, Brazil, from July 21 to 25, 2024, as part of the 44th Congress of the Brazilian Computing Society (CSBC 2024), whose theme was "Digital Desert: The Disconnected and Unseen World". In this issue, the proceedings include 04 papers, which were selected through a single-blind review process, among 06 submitions, impliing an acceptance rate of 66.6%. The event's Program Committee Chairs Mauricio Ayala-Rincón (UnB) and Flávio Leonardo Cavalcanti de Moura (UnB) organized this volume. The papers in this volume were submitted on 04/03/2024, accepted for publication on 05/10/2024, having the final version submitted on 05/27/2024.
You can find more information about WBL 2024 by visiting the website of the event.
To access the proceedings of other events that were part of CSBC 2024, visit the Proceedings of CSBC 2024.