==================================================================== 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: [email protected] ou [email protected] -- Renata Wassermann Associate Professor Computer Science Department University of São Paulo -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAB9HCpXspFC82325Ts1UCmg8wSgm82LE0xsdo14qJmkn0Vf1Gw%40mail.gmail.com.
