WBL

Workshop Brasileiro de Lógica

O Segundo Workshop Brasileiro de Lógica (WBL’21) é 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 segunda 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-locada com o XLI Congresso da Sociedade Brasileira de Computação (CSBC 2021). O evento ocorrerá no dia 18 de Julho, em formato online. 

Programação

Palestra convidada: A Game Model for Proofs with Costs (or… Trying to understand resource consciousness) Elaine Pimentel (UFRN)

18

Julho

09:00

Chair: Renata Wassermann (USP)

Sessão Técnica 1 Chair: Carlos Olarte (UFRN)

18

Julho

10:00

  • Automatic program verification in Dynamic Logic with applications to smart contracts

  • Notes on the Logic of Perfect Paradefinite Algebras

  • Notions of Independence: Examples and Properties

  • A-Games: using game-like representation for representing finite automata (short)

Sessão Técnica 2 Chair: Daniel Ventura (UFG)

18

Julho

14:30

  • Conversão de Termos, Homotopia, e Estrutura de Grupóide

  • Desunificação Nominal via Ponto Fixo

  • An Arithmetical-like Theory of Hereditarily Finite Sets

Palestra Convidada: Replicação de Nós: uma otimização baseada em lógica Daniel Ventura (UFG)

18

Julho

16:30

Chair: Bruno Lopes (UFF)

Chamada de Trabalhos

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 multi agentes, 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

Datas Importantes

  • 12/03 26/03 16/04: Deadline para submissão de trabalhos (hard)
  • 30/04 21/05: Divulgação dos resultados 
  • 14/05 04/06: Envio das versões finais dos artigos

Informações Adicionais

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=3755) em inglês ou em português. 

Pelo menos um dos autores de cada artigo aprovado deverá inscrever-se no CSBC e apresentá-lo durante o evento. Autores com mais de um artigo aprovado, em qualquer evento do CSBC, podem realizar o pagamento de uma única inscrição, acrescida de uma taxa de publicação por artigo adicional. 

Organização

Coordenação geral

Cláudia Nalon (UnB)

Coordenação local

Jerusa Marchi (UFSC)

Comitê de programa

  • Aline Andrade (UFBA)
  • Bruno Lopes (UFF) 
  • Carlos Olarte (UFRN) – co-chair
  • Cláudia Nalon (UnB)
  • Daniel Ventura (UFG)
  • Daniele Nantes-Sobrinho (UnB) 
  • Edward Hermann Haeusler (PUC-Rio) 
  • Elaine Pimentel (UFRN)
  • Francicleber Ferreira (UFC)
  • Jefferson Santos (FGV) 
  • Marcelo Finger (USP)
  • Mario Benevides (UFF)
  • Maurício Ayala-Rincón (UnB)
  • Renata Wassermann (USP) – co-chair

Contato

Em caso de dúvidas, entre em contato através do e-mail: renata@ime.usp.br ou carlos.olarte@gmail.com