International Symposium on Symbolic and Algebraic Computation
Beijing, China, July 24-27, 2005

http://www.mmrc.iss.ac.cn/~issac2005
issac2005@mmrc.iss.ac.cn

 

Call for Software Exhibitions

 

ISSAC 2005 organizes sessions to exhibit software packages produced by academic developers. These sessions are intended to promote software development activities in the area of symbolic mathematical computation.

Deadline for Submissions: May 8, 2005
Notification of Acceptance: May 30, 2005

Authors are invited to submit electronically software packages with documentation (or links for downloading them) and an abstract (of one to two pages) of their presentation to: Dongming.Wang@lip6.fr

Topics of the symposium include, but are not limited to:

* Algorithmic Mathematics
Algebraic, symbolic and symbolic-numeric algorithms. Simplification, function manipulation, equations, summation, integration, ODE/PDE, linear algebra, number theory, group theory and geometric computing.

* Computer Science
Theoretical and practical problems in symbolic computation. Systems, problem solving environments, user interfaces, software, libraries, parallel/distributed computing and programming languages for symbolic computation, concrete analysis, benchmarking, theoretical and practical complexity of computer algebra algorithms, automatic differentiation, code generation, mathematical data structures and exchange protocols.

* Applications
Problem treatments using algebraic, symbolic or symbolic-numeric computation in an essential or a novel way. Engineering, economics and finance, physical and biological sciences, computer science, logic, mathematics, statistics and education.

Software Exhibitions Chair

Dongming Wang (LIP6-UPMC-CNRS, France and Beihang University, China)