O XXII Encontro Brasileiro de Lógica (EBL 2027), promovido pela Sociedade Brasileira de Lógica (SBL), será realizado de 10 a 14 de maio de 2027, em Ouro Preto (MG), precedido pela Escola de Lógica, nos dias 8 e 9 de maio. As submissões de resumos estão abertas até 30 de outubro de 2026.

O encontro acolhe trabalhos nas diversas áreas da Lógica, entre elas fundamentos da matemática e da computação, história e filosofia da lógica, filosofia da matemática, teoria dos modelos, teoria da prova, teoria dos conjuntos, teoria dos tipos, teoria da computabilidade, lógica algébrica e abstrata, lógicas não clássicas, lógica categorial, lógica filosófica, relações entre lógica e ciências, inteligência artificial, raciocínio automatizado e ensino de lógica.

São aceitas três modalidades: comunicações orais, com 20 minutos de exposição e 10 de debate; pôsteres, especialmente indicados para trabalhos em andamento; e mesas-redondas e pequenos workshops. Os resumos, com até duas páginas, devem ser preparados no modelo LaTeX disponibilizado pela organização e podem ser escritos em português, inglês ou espanhol. Os proponentes de mesas-redondas e workshops devem, além disso, entrar em contato com a comissão organizadora até 15 de outubro de 2026.

A lista de propostas aceitas será divulgada em 15 de dezembro de 2026. Pelo menos um dos autores de cada trabalho aprovado deve inscrever-se no evento, e cada participante poderá apresentar apenas uma comunicação. Após o encontro, será aberta uma chamada de artigos para os anais. Dúvidas podem ser enviadas para ebl2027mg@gmail.com.

Mais informações: https://www.ebl2027.sbl.org.br/