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: