Conferences  >  Didactics, History and Philosophy of Science and Technology  >  History and Philosophy of Science and Technology  >  Georgia

Select a location
1
CICM 2022 — 15th Conference on Intelligent Computer Mathematics
19 Sep 2022 - 23 Sep 2022 • Tbilisi – hybrid, Georgia
Abstract:
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.
Topics:
CICM 2022 will be a part of the Computational Logic Autumn Summit, CLAS 2022
Abstract submission deadline:
23 May 2022
Event listing ID:
1489218


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 28 May 2022