Track A: Calculemus (Chair: Wolfgang Windsteiger)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 2013
8.12. July 2013
Bath, UK
You must enable JavaScript to use this site

News
 Brief notes on travel to Bath
 Registration is closed
 Deadline extension for applications to the doctoral programme
 Accepted papers online
 Campus accommodation now bookable
 Brief notes on Bath City hotels
 Doctoral programme applications are now open
 Invited talks by Patrick Ion, Assia Mahboubi, and Ursula Martin
Last modified: December 19 2016 18:02:44 CET