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 2023
16^{th} Conference on Intelligent Computer Mathematics
September 4 – 8, 2023
Cambridge, UK
You must enable JavaScript to use this site

News
 Slides from Monday online
 Registration for physical participation closes Friday, 1. September 2023. Registration for online participation still possible beyond that date,
 Latest travel information
 Monday workshops changed
 Registration opened
 Programme added
 6th workshop accepted
 Accepted papers published
 Notifications sent
 Submission deadline extended
 5 workshops accepted
 Invited Speakers confirmed
 2nd Call for Papers posted
 Call for Workshops posted
 Call for Papers posted
 Initial website online