WBL

Workshop Brasileiro de Lógica

ATENÇÃO: Prazo para submissão de trabalhos prorrogado para 26/03 16/04!

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á durante o CSBC, no período de 18 a 23 de Julho em Florianópolis. Em virtude da pandemia do COVID-19 e seguindo a recomendação da Organização Mundial de Saúde e do Ministério da Saúde, é possível que o evento adote o formato online. 

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