--------------------------------------------------------------------------------
18th Conference on Intelligent Computer Mathematics - CICM 2025 - 6-11 October 2025 Brasilia, Brazil https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cicm-conference.org%2F2025&data=05%7C02%7Com%40openmath.org%7C1161c1080fc14be645c708dd8c8c2b27%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638821255849336839%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=8kkeptnAdtg9nEydM%2B8my0Rr22IR47VovBxANwKCSNY%3D&reserved=0 -------------------------------------------------------------------------------- Due to several requests from the community we are extending the deadlines for formal submissions to CICM 2025 by another week. This applies to * regular papers (up to 15 pages + bibliography) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (4 to 5 pages + bibliography) present digital artifacts The new and final deadlines are: - Abstract deadline: May 12, 2025 (extended) - Full paper deadline: May 19, 2025 (extended) - Reviews sent to authors: June 16, 2025 - Rebuttals due: June 20, 2025 - Notification of acceptance: July 4, 2025 - Camera-ready copies due: July 18, 2025 - Conference: October 6-11, 2025 Valeria de Paiva and Peter Koepke (PC co-chairs) _______________________________________________ Om mailing list Om@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om