Track A: Calculemus (Chair: James Davenport)Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computersupported mathematics in their every day business.The topics of interest of Calculemus include but are not limited to:

Conferences on Intelligent Computer Mathematics
CICM 2014
7.11. July 2014
Coimbra, Portugal
You must enable JavaScript to use this site

News
 CICM 2015 will be in Washington DC
 Photos of CICM available here (All photos)
 CICM 2014 is over
 Slides of talks online
 Talks linked to the electronic publications
Last modified: December 19 2016 18:02:45 CET