WBL’21 - Segundo Workshop Brasileiro de Lógica - 2a chamada
Renata Wassermann
====================================================================
Segundo Workshop Brasileiro de Lógica - WBL’21
Co-alocado com o XLI Congresso da Sociedade Brasileira de Computação
18 a 23 de Julho
https://csbc.ufsc.br/eventos/wbl/
Segunda chamada de trabalhos
====================================================================
O Segundo Workshop Brasileiro de Lógica (WBL’21 https://csbc.ufsc.br/eventos/wbl/) é 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-alocada com o XLI Congresso da Sociedade Brasileira de Computação, CSBC 2021(http://www.sbc.org.br/csbc2021). 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.
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
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/) em inglês ou em português.
Datas importantes
=================
12/03: Deadline para submissão de trabalhos.
30/04: Divulgação dos resultados
14/05: Envio das versões finais dos artigos
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
Coordenação geral
===============
Cláudia Nalon (UnB)
Coordenação local
===============
Jerusa Marchi (UFSC)
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.
Em caso de dúvidas, entre em contato através do e-mail: ren...@ime.usp.br ou carlos...@gmail.com
Renata Wassermann
Associate Professor
Computer Science Department
University of São Paulo