=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- 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) -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABWVEOqia8oboaVHMYjNnnSkdjTAUK%3D5MHh86o1yBOH%2Baog43w%40mail.gmail.com.
