conferences on formalization and cataloging math and physics
Published 2020-07-31T18:28:00Z by Physics Derivation Graph
https://imkt.org/activities/events/ - International Mathematical Knowledge Trust
https://cicm-conference.org/cicm.php - Conference on Intelligent Computer Mathematics
- CICM 2021 will be held in Timisoara, Romania during the week of July 26-30, 2021
- CICM 2022 will be held in Tbilisi, Georgia sometime in the second half of September 2022 as a component of the Computational Logic Autumn Summit (CLAS 2022) taking place in Tbilisi.