A3L Logo

Algorithmic Algebra and Logic 2005
Conference in Honor of the 60th Birthday of Volker Weispfenning

last modified Tue, 22 Mar 2005
Home
Dates
Invited Talks
Contributions
Schedule
Committees
Poster

Registration
Accommodation
Travel Information
Maps of Passau

Proceedings

Topics
Submissions
Author Instructions

FAQ
Contact

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.