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