08/05/2027
XII Encontro Brasileiro de Lógica (EBL 2027)
Ouro Preto MG
Estão abertas as submissões de trabalhos para o XXII Encontro Brasileiro de Lógica (EBL), que será realizado de 10 a 14 de maio de 2027, em Ouro Preto (MG). A Escola de Lógica ocorrerá nos dias 8 e 9 de maio de 2027.
Serão aceitas propostas de comunicações, pôsteres, mesas-redondas e minicursos/workshops nas diversas áreas da Lógica, incluindo Lógica Filosófica, Lógicas Não Clássicas, Fundamentos da Matemática e da Computação, Inteligência Artificial, Teoria da Prova, Teoria dos Modelos, Ensino de Lógica, entre outras.
As submissões de resumos (até 2 páginas) podem ser feitas em português, inglês ou espanhol até 30 de outubro de 2026. Propostas de mesas-redondas e workshops devem ser comunicadas também até 15 de outubro de 2026. O resultado da avaliação será divulgado em 15 de dezembro de 2026.
Mais informações, normas de submissão e inscrições estão disponíveis em http://www.ebl2027.sbl.org.br. Dúvidas podem ser encaminhadas para ebl2027mg@gmail.com.