O Sexto Workshop Brasileiro de Lógica (WBL’25) é 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 sexta 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 XLV Congresso da Sociedade Brasileira de Computação (CSBC 2025), que ocorrerá em Maceió (AL) entre 20/07 e 24/07/2025, com o workshop acontecendo no dia 24/07/2025. 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 * Cálculo lambda * 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 * Teoria de tipos * 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 ( http://jems3.sbc.org.br/wbl2025/) em inglês ou em português. Datas importantes ================= Prazo para submissão dos trabalhos: 10 de março de 2025 Divulgação dos resultados: 2 de maio de 2025 Envio das versões finais dos artigos: 16 de maio de 2025 Prazo de inscrição dos autores: 16 de maio de 2025 CSBC 2025: 20 a 24 de julho de 2025 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. Cada inscrição 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 encontrado na página de inscrições do CSBC 2025. 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 tem previsão de chamada para auxílio à participação de alunos em 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: Sandro Marcio da Silva Preto (UFABC) Organizadores do Comitê de Programa: Francicleber Martins Ferreira (UFC) e Marlo Souza (UFBA) Comitê de programa ================== Aline Andrade (UFBA) Bruno Lopes (UFF) Carlos Olarte (UFRN) Cláudia Nalon (UnB) Daniel Ventura (UFG) Edward Hermann Haeusler (PUC-Rio) Elaine Pimentel (University College London) Flavio Leonardo Cavalcanti de Moura (UnB) Francicleber Ferreira (co-chair) (UFC) Jefferson Santos (Faculdade Nova Roma) Marcelo Finger (USP) Mário Benevides (UFF) Marlo Souza (co-chair) (UFBA) Mauricio Ayala-Rincón (UnB) Renata Wassermann (USP) Sandro Preto (UFABC) Thaynara de Lima (UFG) Palestrantes convidados ======================= TBA Contato ======= Em caso de dúvidas, entre em contato através do e-mail: msou...@ufba.br ou francicle...@dc.ufc.br. -- 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 conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/af826e67-0db7-48fb-8ebe-35c4eba0f327n%40dimap.ufrn.br.
