Chamada de trabalhos -- WBL 2022

[Elaine Pimentel]

Prezados colegas,

Chamo a atenção para o WBL 2022, que deverá ocorrer em Niterói. A SBL vai abrir, em breve, uma chamada para auxílio a estudantes, que inclui ajuda para que alunos de graduação e pós possam apresentar trabalhos no WBL.

Participem e convidem os integrantes de seus grupos de pesquisa!

******************

Workshop Brasileiro de Lógica
=============================
O Terceiro Workshop Brasileiro de Lógica (WBL’22) é 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 terceira 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 XLII Congresso da Sociedade Brasileira de Computação (CSBC 2022), que ocorre em Niterói (RJ) entre 31/07 e 05/08/2022. A data específica para o workshop será anunciada em breve.

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

Instruções de submissão
=======================
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=4030) em inglês ou em português.

Datas importantes
=================
Limite para submissão dos trabalhos: 15/03
Divulgação dos resultados: 06/05
Envio das versões finais dos artigos: 20/05
Prazo de Inscrição dos autores: 20/05

Inscrição de autores
====================
Para que um artigo aceito seja apresentado e incluído nos anais do evento, é necessário que ao menos um dos autores do artigo realize a sua inscrição no evento na categoria profissional. Cada inscrição na categoria profissional dá direito à publicação de um único artigo, considerando qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de publicação” por artigo adicional. O valor dessa taxa pode ser visto na página de inscrições do CSBC 2022.
 
Publicação de trabalhos
=======================
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN 2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os artigos serão indexados com DOI.

Auxílio para estudantes
=======================
A SBL lançará, em breve, uma chamada para auxílio à participação de congressos apoiados pela entidade, como é o caso do WBL. Portanto, a contribuição de alunos de graduação e pós é fortemente estimulada.

Organização
===========
Organizador Geral: Marlo Vieira dos Santos e Souza (UFBA)
Organizadoras do Comitê de Programa: Cláudia Nalon (UnB) e Elaine Pimentel (UFRN)

Apoio local
===========
Bruno Lopes (UFF)

Comitê de programa
==================
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)

Palestrantes convidados
=======================

Bruno Lopes (UFF)
TBA

Contato
=======
Em caso de dúvidas, entre em contato através do e-mail: na...@unb.br ou elaine....@gmail.com

--

Elaine. 

-----------------------------------

Elaine Pimentel

https://sites.google.com/site/elainepimentel/

-----------------------------------