Friday, July 31, 2020

conferences on formalization and cataloging math and physics

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.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)