In many scientific domains, such as Biology, Chemistry, Computer Science, Mathematics, Quantum Information, Robotics, problem modeling involves polynomial systems. Algebraic/Exact methods for polynomial system solving, such as Gröbner basis computations, allow one to compute an exact representation of the solutions of the system.

The first ALgeBrAic meThods foR pOlynomial System Solving (ALBATROSS) workshop/summer school will take place on the Pierre-et-Marie-Curie Campus of Sorbonne Université, in Paris, France, from Tuesday 1st to Friday 4th September 2026. Its goal is to highlight facets of polynomial system solving and their applications. The program will consist in plenary talks, contributed talks and practical computational sessions. The latter will primarily focus on the Julia package AlgebraicSolving.jl and the library msolve.

Christian Eder (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Germany): Algebraic algorithms for polynomial system solving and msolve --- the past, the present and the future

Daniela Kaufmann (Technische Universität Wien, Austria): From Circuits to Ideals: Gröbner Bases for Formal Verification

Fatemeh Mohammadi (Katholieke Universiteit Leuven, Belgium): Algebro-Geometric Methods in Program Synthesis and Verification

Rémi Prébet (Inria and ÉNS Lyon, France): Computational Real Algebraic Geometry in Action: From Dynamical Systems to Robotics

Mauricio Velasco (Universidad de la República, Uruguay): Algebraic methods in sum-of-squares optimization: quotients, sparsity and symmetry

Registration is free but mandatory.

Registrations are now open!

Jérémy Berthomieu (Sorbonne Université, France)

Christian Eder (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Germany)

Vincent Neiger (Sorbonne Université, France)

Mohab Safey El Din (Sorbonne Université, France)