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 2020
13^{th} Conference on Intelligent Computer Mathematics
July 26  31, 2020
Bertinoro, Forli, Italy
You must enable JavaScript to use this site

News
 301 registrations
 Proceedings online
 Registration form online
 Programme online
 Proceedings in print
 Final papers received
 Accepted papers online
 Notifications sent out
 Decision phase completed
 Rebuttal phase completed
 Reviews sent out
 Reviewing phase completed
 Submission (main) closed
 Cfp third round
 Deadline extension
 Cfp second round
 Invited keynotes complete
 Springer LNCS proceedings
 Cfp first round
 Dates online
 Calls online
 Invited speakers
 PC online
 Initial website online