WBL Workshop Brasileiro de Lógica

curva-2022

Programação

Construindo Tableaux para Lógica Linear Intuicionista
Hugo Borges
Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic
Renato Reis Leme, Giorgio Venturi, Bruno Lopes
Another Calculational Proof of Cantor's Theorem
Márcia Rosana Cerioli, Renata de Freitas, Petrucio Viana

Propositional Dynamic logic is a sophisticated modal logic tailored to reason about programs. There are several worth-of-studying fragments (controlling the complexity) and extensions (aiming to increase expressiveness). We will discuss some impacts of restricting to deterministic programs and how to enhance the expressiveness using a memory

Bruno Lopes

Instituto de Computação
Universidade Federal Fluminense

Bruno Lopes é professor na Universidade Federal Fluminense (IC/UFF) e pesquisador no FR∀M∃ Lab. Já foi pesquisador visitante no Deduc˫eam/INRIA. Sua principal linha de trabalho é na área de lógica para sistemas concorrentes, com trabalhos recentes no desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas.

Integrating tools to reason about Reo circuits
Mariana Ferreira, Bruno Lopes

The talk will be divided into two parts. In the first one we will present some concepts and methods related to graphical calculi for manipulating relational terms through diagrams. The representation of terms by diagrams is based on intuition and manipulating diagrams seem to be easier to be understood than their algebraic manipulations with the symbolic mathematical notation. Thus, our goal is to formalize graphically the intuitive ideas of informal human reasoning about binary relations obtaining sound and complete calculi, In the second part these concepts will be applied to modal logics. This approach uses the flexibility of graphical calculi to express directly and intuitively the semantics for modal logics. It will be illustrated how one can extend them to be used in classical modal logics.

Sheila Veloso

Faculdade de Engenharia
Universidade Estadual do Rio de Janeiro

Sheila Veloso é professora aposentada da Universidade Federal do Rio de Janeiro (UFRJ) e professora titular da Universidade do Estado do Rio de Janeiro (UERJ). Tem experiência na área de Ciência da Computação, com ênfase em Teoria de Programação, atuando principalmente nos seguintes temas: lógica modal, álgebra relacional, raciocínio genérico, raciocínio qualitativo e álgebra com fork.

Quasi-N4-lattices and their logic
Clodomir Silva Lima Neto, Thiago Silva, Umberto Rivieccio

Sobre o evento

O Terceiro Workshop Brasileiro de Lógica (WBL’22) é 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 XLII Congresso da Sociedade Brasileira de Computação (CSBC 2022), que ocorre entre 31/07 e 05/08/2022. A data específica para o workshop será anunciada em breve.

Reproduzir vídeo

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
  • 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

Instruções para 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://jems.sbc.org.br/home.cgi?c=4030) em inglês ou em português.

Datas Importantes

  • Limite para submissão dos trabalhos: 15/03 31/03 07/04 (final)
  • Divulgação dos resultados: 06/05 10/05
  • Envio das versões finais dos artigos: 20/05
  • Prazo de Inscrição dos autores: 20/05

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 2022.

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.

Organização

Organizador Geral:

Marlo Vieira dos Santos e Souza (UFBA)

Organizadoras do Comitê de Programa:

Cláudia Nalon (UnB)
Elaine Pimentel (UFRN)

Apoio local:

Bruno Lopes (UFF)

Comitê de programa:

  • Aline Andrade (UFBA)
  • Bruno Lopes (UFF)
  • Carlos Olarte (UFRN)
  • Cláudia Nalon (UnB) (Co-Chair)
  • Daniele Nantes-Sobrinho (UnB)
  • Edward Hermann Haeusler (PUC-Rio)
  • Elaine Pimentel (UFRN) (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)
  • Renata Wassermann (USP)

Contato

Em caso de dúvidas, entre em contato através do e-mail: nalon@unb.br ou elaine.pimentel@gmail.com