WBL - IV Workshop Brasileiro de Lógica
O Quarto Workshop Brasileiro de Lógica (WBL’23) é 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 terceira 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 XLIII Congresso da Sociedade Brasileira de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23/07 e 28/07/2023.
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
- 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
- Verificação formal de sistemas
- Verificação de modelos
Artigos a serem submetidos devem ser redigidos no template da SBC (http://tinyurl.com/sbc-) com tamanho entre 6 (seis) e 8 (oito) páginas.
As submissões devem ser feitas pelo sistema JEMS (https://jems.sbc.org.br/home.) em inglês ou em português.
- Limite para submissão de trabalhos: 05/03/2023,
- Divulgação dos resultados: 05/05/2023,
- Envio das versões finais dos artigos: 16/05/2023,
- Prazo de inscrição dos autores: 16/05/2023.
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.. Todos os artigos serão indexados com DOI.
Organizadores Gerais:
Vaston Gonçalves da Costa (UFG)- vaston@ufcat.edu.br
Organizadores do Comitê de Programa:
Mario Roberto Folhadela Benevides (UFF) – mario@ic.uff.br
Jorge Petrucio Viana (UFF) – petrucio_viana@id.uff.br
Organizador local:
Em construção
Comitê de Programa (TPC):
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF) (Co-Chair)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Petrucio Viana (UFF) (Co-Chair)
Renata Wassermann (USP)
Contato para dúvidas:
