[1st CPF] VII Workshop Brasileiro de Lógica (WBL'26)

[D. Ventura]

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Prazo para submissão dos trabalhos: 28 de setembro de 2026
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

O VII Workshop Brasileiro de Lógica (WBL’26) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua sétima edição, seu objetivo é congregar lógicos de diferentes áreas da Computação e em diferentes estágios da carreira – de estudantes de graduação a pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos em andamento. O encontro é um momento importante para a comunidade lógica brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-alocada com o 29th Brazilian Symposium on Formal Methods (SBMF 2026), que ocorrerá no Rio de Janeiro entre 01/012 e 04/12/2026, com o workshop acontecendo no dia 01/12/2026.


Tópicos de interesse
====================
Esta chamada está aberta para trabalhos relacionados à área de lógica e suas aplicações em diferentes campos da computação, especialmente (mas não restrito) a:

* Assistentes de provas
* Cálculo lambda
* Frameworks lógicos
* Fundamentação da computação, física e matemática
* Lógica em inteligência artificial: representação de conhecimento, sistemas multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento, crenças ou ações, etc.
* Lógicas não-clássicas
* Ontologias
* Prova automática de teoremas
* SAT solvers
* Teoria da prova
* Teoria de tipos
* Verificação formal de sistemas
* Verificação de modelos


Instruções de submissão
=======================
Artigos a serem submetidos devem ser redigidos no template da SBC (https://www.sbc.org.br/documentosinstitucionais/#publicacoes) com tamanho entre 6 (seis) e 8 (oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (TBA) em inglês ou em português.

 
Datas importantes
=================
Prazo para submissão dos trabalhos:  2 de outubro de 2026
Divulgação dos resultados: 30 de outubro de 2026
Envio das versões finais dos artigos: 09 de novembro de 2026
Prazo de inscrição dos autores: TBA
WBL 2026: 01 de dezembro de 2026


Publicação de trabalhos
=======================
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN 2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os artigos serão indexados com DOI.

Inscrição de autores
====================
Para que um artigo aceito seja apresentado e incluído nos anais do evento, é necessário que ao menos um dos autores do artigo realize a sua inscrição no evento. Cada inscrição dá direito à publicação de um único artigo, Autores com mais de um artigo aprovado deverão pagar uma taxa de publicação por artigo adicional. 

Organização
===========

Comitê de Programa: Marlo Souza (UFBA) e Daniel Ventura (UFG)

Comitê Local: Bruno Lopes (UFF)