Prezados colegas, 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.pimen...@gmail.com -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/RO1PR80MB389874B61AA4CEF7704CFBB0DFE19%40RO1PR80MB3898.lamprd80.prod.outlook.com.
