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 06 a 11 de agosto de 2032.
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.cgi?c=4246) em inglês ou em português.
- Limite para submissão dos trabalhos:
05/03/2023–20/03/2023– 05/04/2023 (Final) - Notificação dos trabalhos selecionados:
05/05– 20/05/2023 - Data limite para envio das versões finais dos trabalhos:
16/05– 28/05/2023 - Prazo de inscrição autores(as):
16/05– 05/07/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.
WBL 2023 Program
Tuesday, August 8th
– 9:00 -9:30: Abertura
– 9:30 -10:30: Invited talk: Marlo Souza (DCI UFBA)
Título: Lógicas Epistêmicas Dinâmicas e Dinâmica de Informação
Resumo
Lógicas Epistêmicas Dinâmicas, ou DEL (do inglês Dynamic Epistemic Logics), são uma família de lógicas modais empregadas para o estudo de fenômenos relacionado à dinâmica da informação ou mudança de atitudes mentais fortemente inspirada no trabalho da escola holandesa de Lógica e sua “virada dinâmica” em Lógica (VAN BENTHEM, 1996). Os formalismos de DEL são influenciados por diferentes abordagens no estudo de Epistemologia Dinâmica (ou epistemologia da mudança) e difere destas por integrar dentro da linguagem de representação operadores de mudança, em detrimento de abordagens extra-semânticas, permitindo raciocinar sobre mudanças nos estados mentais dos agentes. Nessa palestra, discutiremos uma breve história das Lógicas Epistêmicas Dinâmicas, sua conexão com o estudo da Teoria de Mudança de Crenças, Raciocínio Prático e Epistemologia Formal, investigando algumas aplicações teóricas e práticas desses formalismos na literatura.
– 10:30-11:00 Coffee break
-11:00-11:30 Quantum Algorithm for Multiplicative Linear Logic
Lorenzo Saraiva (DI/PUC-Rio), Edward Hermann Haeusler (DI/PUC-Rio), Vaston Costa (IMTEc-UFCAT)
-11:30-12:00 A Tableaux System for Dolev-Yao Multi-Agent Epistemic Logic
Luiz C. F. Fernandez(PESC-COPEE/UFRJ), Mario R. F. Benevides (IC-UFF)
-12:00-12:30 A Tool for Semantic Data Interoperability
Allan Patrick F. Santana (IC-UFF), Maximilian Harrisson C. Jr (IC-UFF), Bruno Lopes (IC-UFF)
– 12:30 -14:00 Almoço
-14:00-14:30 Contração Seletiva: um Modelo Hiperintensional para Mudança de Crenças
Marlo Souza (DCI UFBA)
-14:30-15:00 On the Coverage property of a Perivation Compression Algorithm
Robinson C. de M.B. Filho (DI/PUC-Rio), Jefferson de B. Santos, Edward Hermann Haeusler (DI/PUC-Rio)
-15:00-15:30 A method for Automated Generation of Exercises with Similar Level of Complexity
João Mendes (DIMAp/UFRN), João Marcos (DIMAp-UFRN)
-15:30-15:45 Break
-15:45-17:00 Encontro do Grupo de Interesse em Lógica da SBC
Palestra Convidada
Marlo Souza (DCI UFBA)
Título: Lógicas Epistêmicas Dinâmicas e Dinâmica de Informação
Resumo:
Lógicas Epistêmicas Dinâmicas, ou DEL (do inglês Dynamic Epistemic Logics), são uma família de lógicas modais empregadas para o estudo de fenômenos relacionado à dinâmica da informação ou mudança de atitudes mentais fortemente inspirada no trabalho da escola holandesa de Lógica e sua “virada dinâmica” em Lógica (VAN BENTHEM, 1996). Os formalismos de DEL são influenciados por diferentes abordagens no estudo de Epistemologia Dinâmica (ou epistemologia da mudança) e difere destas por integrar dentro da linguagem de representação operadores de mudança, em detrimento de abordagens extra-semânticas, permitindo raciocinar sobre mudanças nos estados mentais dos agentes. Nessa palestra, discutiremos uma breve história das Lógicas Epistêmicas Dinâmicas, sua conexão com o estudo da Teoria de Mudança de Crenças, Raciocínio Prático e Epistemologia Formal, investigando algumas aplicações teóricas e práticas desses formalismos na literatura.
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:
