Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27-30 June 2007, Calculemus 2007, RISC Institute, Castle of Hagenberg, Austria

Date: 27-30 June 2007
Location: RISC Institute, Castle of Hagenberg, Austria
Deadline: 17 February 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 ones (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 theory, design, and implementation of integrated MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business.

For more information, see http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

For the upcoming Calculemus meeting, we seek original research papers in this context. Submission deadline is February 12, 2007.

Please note that this newsitem has been archived, and may contain outdated information or links.