Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.ags.uni-sb.de/~calculemus2002/
Email: calculemus2002@ags.uni-sb.de
Description:
This is the tenth symposium in a series which started with three meetings in year 1996, two meetings
in 1997 and then turned to a yearly event in 1998. It has become tradition to hold the meeting jointly
with an event in either symbolic computation or automated deduction. This year's symposium is in
conjunction with the AISC'2002 conference in Artificial Intelligence and Symbolic Computation.
The aim of the symposium is to bring together researchers interested in both symbolic computation and
mechanized reasoning.
It has been recognized that the integration of computing and deduction would enhance the power of
mathematical software systems. However it is not yet clear which is the right way to achieve such an
integration. The symposium provides a forum for discussing and investigating the various approaches
possible including integration of reasoning into computer algebra systems, integration of efficient
computations in theorem provers, and frameworks, languages, or protocols for integrating both
symbolic computation and mechanized reasoning.
Other topics of interest include the integration of constraint solving techniques into both theorem
provers and computer algebra systems, environments for hybrid mathematical systems and systems
for explorative mathematics.
Topics
Integration of Computer Algebra Systems and Automated Theorem Provers; Symbolic Computation Aspects in Mechanized Reasoning; Mechanized Reasoning Aspects of Symbolic Computation Systems; Combination of Logical and Formal Methods with Computer Algebra; Connections between formal and informal approaches to mathematics; Mathematical Software Buses and Protocols; Design Issues for Logic and Symbolic Computing Systems; Architectures and environments for integration of software components; Heterogenous reasoning/computing frameworks; Constraint Solving Aspects in ATP/CAS; Explorative Systems for doing Mathematics; Case studies and applications.
Date received: November 28, 2001
© 2008 Atlas Conferences Inc.