General  Information
Important Dates
Conference Poster
Organizing Committee
Program and Schedule
Invited Talks
Contributed Talks
Software Exhibitions
Registered Participants
 Call  For
Research Papers
Software Exhibitions
Jenks Prize Nominations
 Local  Information
Conference Location
Speakers' Information
Gastronomic Guide
Additional Information
Social Events
Previous ISSACs
Other Events



Call for Software Exhibitions

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

Important Dates

Deadline for Abstract Submission: May 10, 2004
Notification of Acceptance: May 28, 2004

Submission Guidelines

Authors are invited to submit electronically software packages & documentation (or links for downloading them) and an abstract of their presentation to

Thomas Bayer (bayert @


Topics of the meeting 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 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.


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, education.

Software Exhibitions Chair

Thomas Bayer     (Technical University Munich, Germany)
  issac2004 @