**
**

The appearance of mathematical software is one of
the most important events in mathematics. Mathematical software
systems are used to construct examples, to prove theorems, and to find
new mathematical phenomena. On the other hand, mathematical research
often motivates developments of new algorithms and new systems.

Mathematical software systems rely on a cooperation of mathematicians,
designers of algorithms, and mathematical programmers. Main audiences
are software developers in mathematics and programming mathematicians,
but we also intend to provide an opportunity to discuss about these
topics with mathematicians.
Topics for the conference include but are not limited to:

- Software engineering problems for mathematical software
- Designs of programming languages for mathematics
- Data structures for mathematics
- Standards to allow cooperation
- Review of internal structures of systems
**Tricks in real implementations**

- Mathematics and media (including user interfaces)
- Mathematics related to mathematical software (experiments, algorithms)
- High performance computing
- Applications of mathematical software
- Presentation of mathematical software
**Poster demonstration for ICM participants**