ICMS 2024

Durham University, United Kingdom, 22-25 July, 2024

ICMS is a bi-annual congress that gathers the mathematicians, scientists and programmers who are interested in the development of mathematical software.

Invited Speakers

The list of invited speakers for the ICMS 2024 is as follows:

• Matthias Köppe (UC Davis, USA): The Reformation of Sage
  The monolithic open-source mathematical software system Sage, developed since 2005, is being transformed into a system of pip-installable packages, which can be built, developed, used, and tested separately. Packages such as sagemath-gap and sagemath-singular not only localize the build-time dependencies, but also give attribution and greater visibility to the upstream project and invite renewed collaboration and integration. The new reusability of the Sage library in the Python ecosystem may finally bring the fortunate choice of the implementation and surface language of SageMath to its full potential.
• Heather Macbeth (Fordham University, USA): Algorithm and abstraction in formal mathematics
  I will analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. My discussion will focus on two aspects where good style seems to differ between the two: in their incorporation of computation and of abstraction. I will argue that this reflects a different mathematical aesthetic for formalised mathematics.
• Mohab Safey El Din (Sorbonne University, France): Polynomial system solving with the msolve library
  Solving multivariate polynomial systems arises in a wide range of areas in information theory (e.g. cryptography, error-correcting codes) to engineering sciences (e.g. robotics, biology). The msolve library is a C library which provides implementations of a number of algorithms based on Gröbner bases computations for its algebraic component and bisection algorithms for real root isolation. We will present its design, its current capabilities and discuss further developments. Joint work with J. Berthomieu, C. Eder and V. Neiger

Schedule

ICMS 2024 will be held between July 22-25, 2024. The conference will happen every day from 09:00 to 17:30 BST (GMT+1), and the planned schedule can be found below. All information below are according to BST (GMT+1) timezone.

Proceedings

The conference proceedings are part of the series Lecture Notes in Computer Science published by Springer.
They are available under the following link: link.

Important Dates

Support

We thank the following organizations for their generous support: