WBL 2022 - Extensão do Prazo de Submissão
Claudia Nalon
O prazo para submissão ao Workshop Brasileiro de Lógica, WBL 2022, foi estendido até o dia 07/04. A data do workshop também já foi definida: será no dia 03/08. A chamada completa encontra-se abaixo.
Por favor, divulguem em grupos de interesse.
Abraços,
Cláudia
*********
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. O workshop será no dia 03/08/2022.
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: 07/04
Divulgação dos resultados: 10/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á, no dia 14/03/2022, 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)
Sheila Veloso (UFRJ/UERJ)
Contato
=======
Em caso de dúvidas, entre em contato através do e-mail: na...@unb.br ou elaine....@gmail.com