The Brazilian Workshop of Logic (WBL) is an event held by SBC since 2020. It is a joint initiative of the Brazilian Computing Society (SBC) with the Brazilian Logic Society (SBL). In its first edition, it aims to bring together logicians from different areas and with different backgrounds - from undergraduate students to researchers who wish to present research proposals and work in progress - the meeting is an important moment for the Brazilian logical community to come together and discuss recent developments in the field. The Proceedings of WBL are published annually, bringing the articles selected for each edition of the event.
Topics of Interest
WBL topics of interest include, but are not limited to:
- Proof assistants
- Logical frameworks
- Computability, physics, and mathematic foundations
- Logic in Artificial Intelligence
- Non-classical logics
- Automatic theorem proving
- Proof theory
- Formal verification
- Model-checking
Additional information
You can find more information about WBL by visiting the website of the current edition.
