CFP

MCS-ICMS2018: Mathematics in Computer Science Special Issue from ICMS 2018 |

Website | http://staff.bath.ac.uk/masjhd/MCS_SI_ICMS_2018.pdf |

Submission link | https://easychair.org/conferences/?conf=mcsicms2018 |

Submission deadline | October 31, 2018 |

This is a special issue of the journal Mathematics in Computer Science focusing on Mathematical Software as in the conference ICMS2018.

## Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

**Full papers**of not more than 15 pages describing some aspect of mathematical software.

See submission instructions at the journal website.

## List of Topics

- Algorithms and applications for curves and surfaces
- Symbolic Summation and Integration
- Polyhedral methods in geometry and optimization
- Post-Quantum Group-based Cryptography
- Gröbner Bases
- Machine Learning for Mathematical Software
- Satisfiability Checking and Symbolic Computation
- Mathematical Interfaces: Computing, Modeling, Web & Mobile
- Backtrack search techniques in groups and combinatorics
- Computational Algebraic Geometry
- Symbolic Combinatorics
- Towards Composable Mathematical Software
- Management of Mathematical Software, Mathematical Knowledge and Research Data
- Software for exact and certified numeric computations
- Quantifier Reasoning
- Formal and Informal Mathematical Corpora
- Software for Mathematical Reasoning and Applications

## Editors

- James Davenport
- Manuel Kauers
- George Labahn
- Josef Urban

## Contact

All questions about submissions should be emailed to James Davenport (J.H.Davenport@bath.ac.uk)