[gtranslate]
O CIC vai sediar a Conferência Internacional CICM 2025 de 06 a 10/10/2025!
É com grande honra acadêmica que o Departamento de Ciência da Computação sedia a 18ª edição da Conference on Intelligent Computer Mathematics (CICM 2025), conjuntamente com o 20º International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2025).
A conferência congrega pesquisadores do mundo inteiro para investigar dedução automatizada, álgebra computacional, representação do conhecimento matemático e novas interfaces para interação homem-matemática.
Palestrantes Convidados (Keynote Speakers)
- Fabian Huch (Technische Universität München – TUM)
- Assia Mahboubi (INRIA, Nantes)
- Daniele Nantes Sobrinho (Universidade de Brasília – UnB)
- Josef Urban (Czech Institute of Informatics, Robotics and Cybernetics – CIIRC)
- Temur Kutsia (RISC, Johannes Kepler University – Palestra Conjunta)
- Bruno Lopes (Universidade Federal Fluminense – UFF)
- Yoni Zohar (Bar Ilan University)
Mais detalhes podem ser consultados nas páginas oficiais: CICM 2025 e LSFA 2025.