Deadline prorrogado para 01/06/2020. WBL 2020 ========
O Workshop Brasileiro de Lógica (WBL - http://lsfa2020.ufba.br/wbl.html ) é 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 primeira edição, seu objetivo é congregar lógicos de diferentes áreas e com diferentes formações, de estudantes de graduação a pesquisadores que desejam 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 15o Workshop on Logical and Semantic Frameworks, with Applications, no dia 26 de agosto na Universidade Federal da Bahia, em Salvador-BA. Para tal, esta chamada está aberta para trabalhos relacionados à área de lógica, 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 * Lógicas não-clássicas * Prova automática de teoremas * Teoria da prova * Verificação formal de sistemas * Verificação de modelos Artigos a serem submetidos devem ser redigidos no template para da SBC com tamanho entre 6 (seis) e 8 (oito) páginas. As submissões devem ser feitas pelo EasyChair pelo link https://easychair.org/conferences/?conf=wbl20 . Datas importantes ================= * Deadline para submissões: 1 de junho * Notificações aos autores: 1 de julho * WBL 2020: 26 de agosto (previsto, sujeito a alterações em virtude da pandemia do COVID-19) Comitê de programa ================== * Bruno Lopes (UFF) - co-chair * Cláudia Nalon (UnB) * Edward Hermann Haeusler (PUC-Rio) - co-chair * Elaine Pimentel (UFRN) * Francicleber Ferreira (UFC) * Jefferson Santos (FGV & PUC-Rio) * Marcelo Finger (USP) * Mario Benevides (UFF) * Maurício Ayala-Rincón (UnB) * Renata Wassermann (USP) -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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/CAD-Wq0_TcB-jkXYMAHh%3DeUSYCYXKfbKVZ_CcPR_BmQ2Ycve%2B9Q%40mail.gmail.com.
