Os Anais do I Workshop Brasileiro de Lógica (WBL 2020) trazem os artigos selecionados e apresentados na edição do evento online realizado no dia 26 de Agosto de 2020. Nesta edição, os anais incluem 8 artigos completos. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo blind review, de um total de 9 artigos completos submetidos, o que implicou numa taxa de aceitação de 88,9%. O comitê de programa do evento foi coordenado por Bruno Lopes (IC/UFF) e Edward Hermann Haeusler (DI/PUC-Rio), que organizaram este volume. Os artigos que integram essa série de anais foram submetidos em 01/06/2020, aceitos para publicação em 14/07/2020, tendo a versão final submetida em 14/08/2020.

Para mais informações sobre o WBL 2020, visite o site desta edição do evento.

Publicado: 26/08/2020

Artigos Completos