WBL2020: Deadline prorrogado: 01/06/2020

[Bruno Lopes]

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