| Event | When | Where | Deadline | |
| MKM 2010 |
The 9th International Conference on Mathematical Knowledge Management | |
| Jul 8, 2010 - Jul 10, 2010 |
Paris, France |
Mar 10, 2010 (Mar 3, 2010) |
| AISC 2010 |
10th International Conference on Artificial Intelligence and Symbolic Computation | |
| Jul 5, 2010 - Jul 6, 2010 |
CNAM, Paris, France |
Mar 12, 2010 (Mar 9, 2010) |
| CICM 2014 |
Conferences on Intelligent Computer Mathematics | |
| Jul 7, 2014 - Jul 11, 2014 |
Coimbra, Portugal |
Feb 28, 2014 |
| CICM 2016 |
9th Conference on Intelligent Computer Mathematics | |
| Jul 25, 2016 - Jul 29, 2016 |
Bialystok, Poland |
Mar 6, 2016 (Feb 28, 2016) |
| CICM 2019 |
12th Conference on Intelligent Computer Mathematics | |
| Aug 8, 2019 - Aug 12, 2019 |
Prague, Czech Republic |
Mar 8, 2019 (Mar 1, 2019) |
| CICM 2023 |
16th Conference on Intelligent Computer Mathematics | |
| Sep 4, 2023 - Sep 8, 2023 |
Cambridge, UK |
Apr 3, 2023 (Mar 27, 2023) |
|
