Conference Topics

Algorithmic Mathematics

Algebraic, symbolic and symbolic-numeric algorithms. Manipulation of formulas from logic, simplification, function manipulation, equations, summation, integration and differentiation, ODE/PDE, linear algebra, number theory, group and geometric computing, effective quantifier elimination.

Formal Deduction

Combination of methods or systems from computer algebra and computer deduction, design and implementation issues in integrated systems, formal method problems requiring mixed computing and proving, case studies and applications.

Computer Science

Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, parallel/distributed computing, programming languages, theoretical and practical complexity of computer algebra algorithms, code generation, mathematical data structures and exchange protocols.

Applications

Problem treatments using algebraic, logic, symbolic or symbolic-numeric computation. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics, education.