ICMS 2026

This is the website for the Software for Enumerative and Analytic Combinatorics session at the International Congress on Mathematical Software 2026, organized by Stephen Melczer.

This session aims to publicize recent algorithms, software implementations, and applications of techniques in enumerative combinatorics, analytic combinatorics, and related areas.

Potential topics include, but are not limited to, the following

• Efficient algorithms for manipulating generating functions
• Algorithms for univariate and multivariate asymptotics
• Derivation of asymptotics with explicit (not big-O) errors
• Automatic derivation of limit theorems
• Guess-and-check paradigms for sequences satisfying linear recurrences
• Guess-and-check paradigms for power series satisfying algebraic and differential equations
• Effective proofs of irrationality and transcendence of power series
• Automatic proof methods for positivity of sequences
• Implementations of Flajolet-Odlyzko-style transfer theorems
• Random generation of large objects in discrete structures
• Algorithms analyzing properties of discrete objects

Call for Session Talks

Interested speakers should submit a short abstract of 200 - 500 words to smelczer@uwaterloo.ca by March 1, 2026. Abstracts will be reviewed and notifications of acceptance will be sent to the authors within a week of the deadline. Accepted speakers are expected to register for, and give their presentation in person at, the conference.

DEADLINE EXTENSION: The deadline for short abstracts has been extended to March 16.

Accepted speakers also have the option to submit an extended contribution of 6–8 pages by March 28, 2026. Acceptance of extended contributions will be determined by the ICMS program committee, and successful submissions will be published in the conference proceedings in the Springer series Lecture Notes in Computer Science (LNCS). See https://icms-conference.org/2026/submission.html for further information.

DEADLINE EXTENSION: The deadline for extended abstracts has been extended to April 11.