Home Organization Program Participants Pictures Satellites Travel Info

Welcome to Calculemus 2007!

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 every-day 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.



The Proceedings of Calculemus 2007 and MKM 2007 have appeared as volume 4573 of Springer's LNAI.


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 27--30, 2007: Calculemus 2007 in Hagenberg, Austria


Calculemus 2007 is supported by:

Linzer Hochschulfonds

uni software plus