The 18th Conference on Intelligent Computer Mathematics (CICM 2025) October 6 – 10, 2025 Details Published: Wednesday, October 01 2025 12:17 Digital and computational solutions are the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for automated deduction, computer algebra, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.CICM 2025 is collocated with the 20th International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2025).https://lsfa-workshop.github.io/2025/ More information available in https://cicm-conference.org/2025/ Últimas Notícias Oportunidade de bolsa de extensão no projeto "A Matemática na REDE DE CURSINHOS POPULARES do Distrito Federal e Entorno" Inscrições ocorrerão no período de 25/03/2026 a 27/03/2026 Bacharelado em Inteligência Artificial dá início às atividades de sua primeira turma Curso de graduação estreia no 1º/2026 ofertando formação interdisciplinar em exatas, engenharia e tecnologia e visa atender demanda por especialistas Chamada pública de bolsistas para participação no projeto M2ICE 2026 Prazo de inscrição: 16 a 23/03/2026 Seminário de pesquisa em Educação Matemática Seminário "Letramento em IA para a formação do professor de Matemática" ocorrerá no dia 27/03 às 14:30