Últimos dias para submissão – VI Workshop Brasileiro de Lógica (WBL'25) [3rd CFP]

[Sandro Preto]

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

Prazo para submissão dos trabalhos: 10 de março de 2025

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

O Sexto Workshop Brasileiro de Lógica (WBL’25) é 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 sexta 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 XLV Congresso da Sociedade Brasileira de Computação (CSBC 2025), que ocorrerá em Maceió (AL) entre 20/07 e 24/07/2025, com o workshop acontecendo no dia 24/07/2025.


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 (http://tinyurl.com/sbc-template-artigos) com tamanho entre 6 (seis) e 8 (oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (http://jems3.sbc.org.br/wbl2025/) em inglês ou em português.

 
Datas importantes
=================
Prazo para submissão dos trabalhos: 10 de março de 2025
Divulgação dos resultados: 2 de maio de 2025
Envio das versões finais dos artigos: 16 de maio de 2025
Prazo de inscrição dos autores: 16 de maio de 2025
CSBC 2025: 20 a 24 de julho de 2025


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, considerando qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC deverão pagar uma taxa de publicação por artigo adicional. O valor dessa taxa pode ser encontrado na página de inscrições do CSBC 2025.

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.


Auxílio para estudantes
=======================
A SBL tem previsão de chamada para auxílio à participação de alunos em congressos apoiados pela entidade, como é o caso do WBL. Portanto, a contribuição de alunos de graduação e pós é fortemente estimulada.


Organização
===========
Organizador Geral: Sandro Marcio da Silva Preto (UFABC)

Organizadores do Comitê de Programa: Francicleber Martins Ferreira (UFC) e Marlo Souza (UFBA)


Comitê de programa
==================
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (Université Sorbonne Paris Nord)
Cláudia Nalon (UnB)
Daniel Ventura (UFG)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (University College London)
Flavio Leonardo Cavalcanti de Moura (UnB)
Francicleber Ferreira (co-chair) (UFC)
Jefferson Santos (FGV)
Marcelo Finger (USP)
Mário Benevides (UFF)
Marlo Souza (co-chair) (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)
Sandro Preto (UFABC)
Thaynara de Lima (UFG)


Palestrantes convidados
=======================
TBA


Contato
=======

Em caso de dúvidas, entre em contato através do e-mail: mso...@ufba.br ou franci...@dc.ufc.br.