Track: CalculemusCalculemus is dedicated to the integration of computer algebra systems (CAS) and systems for mechanized reasoning such as interactive proof assistants (PA) and automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanized reasoning) as well as emerging ones (on user interfaces, knowledge management, theory exploration, symbolic execution, abstract interpretation, etc.) We wish to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems. These systems should be convenient to use routinely by mathematicians, computer scientists and all others who need computersupported mathematics in their daily work. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to:

CICM 2022
15^{th} Conference on Intelligent Computer Mathematics
September 19  23, 2022
Tbilisi, Georgia (hybrid event)
You must enable JavaScript to use this site

News
 Proceedings are freely accessible from CICM Web page between Sept 19Oct 31.
 Proceedings are online
 The program is online
 Kickoff Meeting on EuroProofNet Libraries at CICM
 Special registration option for online participation
 Accepted papers are online
 Registration is open to all CLAS'22 events, including CICM
 Submission deadlines extended
 CICM will be a hybrid event
 Springer LNAI proceedings confirmed
 PC and dates online
 Initial website online