WBL - 5º Workshop Brasileiro de Lógica

Programação – Trabalhos Aceitos

Palestrante Convidada: Cláudia Nalon (UnB)

Resumo: O termo “inteligência artificial” foi cunhado em precedência ao famoso encontro ocorrido em Dartmouth, em 1956. Na discussão de seus fundamentos, dois aspectos são considerados essenciais para a caracterização de inteligência em ambientes computacionais: aprendizado e raciocínio. Nesta palestra, nós discutiremos ambos os aspectos e os motivos pelos quais lógica ainda é, de fato, essencial na produção de comportamentos inteligentes.

  • Logical Approximation and Formal Verification of Neural Networks
    Marcelo Finger, João Lobo, Sandro Preto
 
  • Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem
    João Pedro de Araújo Lima, Anne C. Rocha, Alexandre Arruda, Dmontier Aragão Jr.
 
  • Detecção de conflitos diretos em redes IoT utilizando o Maude
    Matheus de Azevedo Mar Pereira, Daniel Ventura
 
  • Sistemas de Tipos para Programação Concorrente: Um Estudo de Caso
    Claudio Henrique Oliveira Ribeiro, Bruno Silvestre, Daniel Ventura

 

Sobre o Evento

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. O Workshop será realizado no dia 25/07/2024, entre 16:00 e 18:00 (local a definir).

 

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: 24/03/2024  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

Este evento conta o apoio da Sociedade Brasileira de Lógica, com o auxílio a estudantes associados através da chamada da Chamada SBL 04/2023 (https://sbl.org.br/pmwiki.php/Main/Apoio). O auxílio é solicitado pela organização do evento. A manifestação de interesse por estudantes encerrou-se em 17/05/2024.

 

Organização Geral

  • Cláudia Nalon (UnB)

 

Organizadores do Comitê de Programa

  • Mauricio Ayala-Rincón (UnB)
  • 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)

 

Contato

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