[TYPES/announce] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***

Serge Autexier serge.autexier at dfki.de
Tue May 6 06:54:10 EDT 2025


--------------------------------------------------------------------------------

	      18th Conference on Intelligent Computer Mathematics


 				- CICM 2025 -

			       6-11 October 2025

				Brasilia, Brazil

		      https://urldefense.com/v3/__http://www.cicm-conference.org/2025__;!!IBzWLUs!QB7uyZ5W5fFsEFYjHUv9Kua3L939knuyZGGjtEP6oQ28Ubz8jpzDrl_fW2QH6KBULcEupIbl5PRr6MjJjNy2wBm7UavpQ4vtoc-uB2PG$ 

--------------------------------------------------------------------------------

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)


More information about the Types-announce mailing list