Calculemus is a series of conferences dedicated to the integration of
computer algebra systems (CAS) and automated deduction systems (ADS)
towards the development of universal mathematical assistant systems
(MAS).
Currently, symbolic computation is divided into several (more or less)
independent branches, traditional branches (e.g. computer algebra and
theorem proving) 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 development of integrated MAS that will
routinely be used by mathematicians, computer scientists, and
engineers in their everyday business.
The upcoming Calculemus meeting will be held jointly with
MKM 2007 in Hagenberg,
Austria, in the frame of the
RISC Summer 2007
conference series.
Proceedings
Scope
The scope of Calculemus covers all aspects of developing mathematical
assistant systems, in particular, the interplay of automated reasoning
and computer algebra. Potential areas of interest are:
 Automated reasoning in computer algebra
 Computer algebra in automated reasoning
 Interdisciplinary systems
 Infrastructure for mathematical services
 Theory exploration techniques
 Theory and implementation of MAS
 Case studies and applications of MAS
Important Dates
March 4, 2007: Submission deadline
April 2, 2007: Notification of acceptance
April 13, 2007: Camera ready copies due
June 2730, 2007: Calculemus 2007 in Hagenberg, Austria
 
Sponsors
Calculemus 2007 is supported by:
Linzer Hochschulfonds
uni software plus
