Detalhes

Publicado: Sexta, 03 Outubro 2025 09:46

A 18ª Conference on Intelligent Computer Mathematics (CICM 2025) será realizada de 6 a 11 de outubro de 2025 em Brasília e constitui fórum internacional de excelência para a discussão dos avanços em soluções digitais e computacionais aplicadas à matemática. O evento reunirá pesquisadores, desenvolvedores e profissionais dedicados à investigação de sistemas computacionais para dedução automatizada, álgebra computacional, publicação matemática e desenvolvimento de novas interfaces de usuário.

A edição de 2025 enfatiza a integração entre sistemas computacionais distintos como estratégia para a geração de sinergias e valor agregado significativo. Embora cada sistema apresente méritos individuais, a articulação entre diferentes abordagens representa o caminho para soluções mais robustas e abrangentes no campo da matemática computacional.

O CICM 2025 será realizado em conjunto com o 20th International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2025), ampliando o alcance das discussões e promovendo o diálogo interdisciplinar entre áreas correlatas. Informações sobre o LSFA 2025 podem ser consultadas em https://lsfa-workshop.github.io/2025/.

A programação científica contará com palestras de pesquisadores de reconhecimento internacional. Para o CICM 2025, foram convidados Fabian Huch (Technische Universität München), Assia Mahboubi (INRIA, Nantes), Daniele Nantes Sobrinho (Universidade de Brasília) e Josef Urban (Czech Institute of Informatics, Robotics and Cybernetics). Temur Kutsia, do Research Institute for Symbolic Computation (RISC) da Johannes Kepler University, ministrará palestra conjunta integrando as programações do CICM e LSFA 2025.

O LSFA 2025 terá como palestrantes convidados Bruno Lopes, do Instituto de Computação da Universidade Federal Fluminense, e Yoni Zohar, do Department of Computer Science da Bar Ilan University.

Informações detalhadas sobre submissão de trabalhos, inscrições e programação completa estão disponíveis no site oficial: https://cicm-conference.org/2025/.

Cartaz