EXTENDED DEADLINE! (03/abril/2024) - Quinto Workshop Brasileiro de Lógica (WBL’24)

[Flavio Leonardo Cavalcanti De Moura]

Workshop Brasileiro de Lógica

=============================

O Quinto Workshop Brasileiro de Lógica (WBL’24) é 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 quinta 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 XLIV Congresso da Sociedade Brasileira de Computação (CSBC 2024), que ocorre em Brasília (DF) entre 21/07 e 25/07/2024. A data do workshop ainda está para ser definida pela comissão organizadora do CSBC.

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 (https://jems3.sbc.org.br/events/93) em inglês ou em português.

 

Datas importantes

=================

Limite para submissão dos trabalhos:  03/04//2024,

Divulgação dos resultados: 26/04/2024,

Envio das versões finais dos artigos: 10/05/2024,

Prazo de Inscrição dos autores: 24/05/2024.

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 na categoria profissional. Cada inscrição na categoria profissional 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 visto na página de inscrições do CSBC 2024.

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 uma chamada aberta 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. Para maiores informações, visite https://sbl.org.br/pmwiki.php/Main/Apoio. A data limite para solicitações da Chamada SBL 04/2023 é 1º de julho de 2024.

Organização

===========

Organizador Geral: Cláudia Nalon (UnB)

Organizadores do Comitê de Programa: Mauricio Ayala-Rincón (UnB) e Flávio Leonardo Cavalcanti de Moura (UnB)

Comitê de programa

==================

Bruno Lopes (UFF)

Carlos Olarte (UFRN)

Cláudia Nalon (UnB) 

Daniel Ventura (UFG)

Edward Hermann Haeusler (PUC-Rio)

Elaine Pimentel (UFRN)

Flávio Leonardo Cavalcanti de Moura (UnB) - Co-Chair

Francicleber Ferreira (UFC)

Jefferson Santos (FGV e PUC-Rio)

Marcelo Finger (USP)

Mario Benevides (UFF)

Marlo Souza (UFBA)

Mauricio Ayala-Rincón (UnB) - Co-Chair

Renata Wassermann (USP)

Thaynara de Lima (UFG)

Palestrantes convidados

=======================

TBA

Contato

=======

Em caso de dúvidas, entre em contato através do e-mail: ay...@unb.br ou flavi...@unb.br.