International Congress on Mathematical Software 2026

Call for Session Proposals

The 9th International Congress on Mathematical Software will consist of several topical sessions. Each session will provide an overview of the challenges, achievements and progress in a subfield of mathematical software research, development and use. The program committee will consist of the session organizers. We solicit session proposals.

For inspiration, have a look at the sessions of past ICMS: ICMS 2024 ICMS 2020, ICMS 2018,

You are invited to propose a session if you

are active in mathematical software research, development and use,
want to serve the research community by nurturing and facilitating mathematical software work in your area, and
would like to focus only on the scientific matters in the organization (not on other matters such as administrative, logistic, etc).

How to propose a session

Prepare a session proposal with the following contents.
- title of the session
- name(s) of the organizer(s), with contact addresses and emails
- aim and scope of the session (at most 150 words)
Submit it
- to icms26-submit@inria.fr
- or to one of the program chairs: Jonathan D. Hauenstein, Sonja Petrović, Yue Ren, or the General Chair: Bernard Mourrain
- at latest by 16 November 2025.
The decision on the proposal will be made
- by the program chair, the general chair and the advisory committee
- by 17 December 2025.

How to organize a session

Maintain a session web page (see template in html-format or markdown-format).
Send a call for short abstracts (about 200 words) to the potential speakers in the topic area of the session.
Review the submitted abstracts and make a decision on their acceptance, as soon as each one arrives.
Post accepted short abstracts on the session web page.
Complete the process by 24 February 2026.
During the meeting: manage the session, and arrange for chair(s) for each time slot.

Extended abstracts for the Proceedings may be submitted via EasyChair (by 28 March 2026; details TBA) by those who were accepted as speakers in any session. Session organisers can have papers themselves (acceptance agreed by an appropriate program chair).

Format of a session

A session will consist of one or more time slots.
A time slot will consist of 2 talks (of 25+5 minutes)
We encourage that each session begins with one general overview talk (may be given by a session organizer).

“Talks” may also include software presentations. Demos aiming at a wide audience should be submitted to the Software Fair.

Possible topics for sessions

These are not exclusive. You can propose any mathematical topic.
These are not required titles of sessions. You can propose any title.
These are provided as initial hints for topics and titles.
logic: theorem proving, formalization of mathematics, logic minimization, quantifier elimination, …..
number theory: diophantine equations, algebraic numbers theory, analytic number theory, elliptic curves, …..
combinatorics: partition, graph, matroid, finite summation, difference equations, arithmetic combinatorics, algebraic combinatorics, analytic combinatorics, topological combinatorics, ….
algebra: group theory, linear algebra, polynomial algebra, differential algebra, homological algebra, non-commutative algebra, tensor algebra, …..
analysis: numerical analysis, functional analysis, differential/integral equations, special functions, …..
geometry: computational geometry, polyhedral geometry, algebraic geometry, differential geometry, algebraic topology, differential topology, ….
inter-disciplinary: statistics, optimization, cryptography, coding, scientific computation, engineering computation, mathematical document processing, education, ….
mathematical problem solving platform: AI, machine learning and big-data methods in mathematics, computer understanding and natural language processing of mathematics, mathematical theory exploration, mathematical knowledge management, user interface, programming language, kernel design, ….