International Congress of Mathematical Software   


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: