|
Tuesday, September 1, 2026
| Time | Event | (+) |
| 08:50 - 09:00 | Welcoming remarks (CICSU 44-45, 108) - Organizers | |
| 09:00 - 10:00 | Algebraic algorithms for polynomial system solving and msolve --- the past, the present and the future (CICSU 44-45, 108) - Christian Eder | |
| 10:00 - 10:30 | Coffee Break (CICSU 44-45, 102) | |
| 10:30 - 11:00 | Computing the resultant of equivariant polynomial systems (CICSU 44-45, 108) - Gael Druez | |
| 11:00 - 11:30 | Toward a unified theory for common affine roots of general sets of multivariate polynomials (CICSU 44-45, 108) - Olav Geil | |
| 11:30 - 12:00 | A new data structure for monomial ideals with applications to signature Gröbner bases (CICSU 44-45, 108) - Théo Ternier | |
| 12:00 - 14:00 | Lunch | |
| 14:00 - 15:30 | Algebro-Geometric Methods in Program Synthesis and Verification (CICSU 44-45, 108) - Fatemeh Mohammadi | |
| 15:30 - 16:00 | Coffee Break (CICSU 44-45, 102) | |
| 16:00 - 16:30 | Simple generators of rational function fields via adaptive interpolation and Gröbner Bases (CICSU 44-45, 108) - Alexander Demin | |
| 16:30 - 17:00 | Some applications of A-resultants (CICSU 44-45, 108) - Matthias Zach |
Wednesday, September 2, 2026
| Time | Event | (+) |
| 09:00 - 10:30 | Computational Real Algebraic Geometry in Action: From Dynamical Systems to Robotics (CICSU 44-45, 108) - Rémi Prébet | |
| 10:30 - 11:00 | Coffee Break (CICSU 44-45, 102) | |
| 11:00 - 12:00 | Computational Real Algebraic Geometry in Action - Tutorial (CICSU 44-45, 108) - Rémi Prébet | |
| 12:00 - 14:00 | Lunch | |
| 14:00 - 14:30 | Practical Study on Solving Polynomial Systems corresponding to Algebraic Attacks on Symmetric Primitives (CICSU 44-45, 108) - Baptiste Daumen | |
| 14:30 - 15:00 | Improving scalability in MQ solving: A memory-access study on the XL-Wiedemann algorithm (CICSU 44-45, 108) - Felipe Merino Toro | |
| 15:00 - 15:30 | Genericity in multivariate cryptography (CICSU 44-45, 108) - Pierre Pébereau | |
| 15:30 - 16:00 | Coffee Break (CICSU 44-45, 102) | |
| 16:00 - 16:30 | Determination Problems for Orbit Closures and Matrix Groups (CICSU 44-45, 108) - George Kenison | |
| 16:30 - 17:00 | Algebraic Closure of Matrix Sets Recognized by 1-VASS (CICSU 44-45, 108) - Mahsa Naraghi | |
| 17:00 - 19:30 | Break | |
| 19:30 - 22:00 | Social Dinner (CICSU 44-45, 102) |
Thursday, September 3, 2026
| Time | Event | (+) |
| 09:00 - 10:30 | Exact sum-of-squares certificates and peak estimation problems in dynamical systems (CICSU 44-45, 108) - Mauricio Velasco | |
| 10:30 - 11:00 | Coffee Break (CICSU 44-45, 102) | |
| 11:00 - 12:00 | A Spurious Local Minimum for the Logarithmic Fekete Problem on S2 using Gröbner Bases and Interval Arithmetic via msolve (CICSU 44-45, 108) - Matías Valdes | |
| 12:00 - 14:00 | Lunch | |
| 14:00 - 14:30 | Computing algebraic degrees of phylogenetic varieties (CICSU 44-45, 108) - Elima Shehu | |
| 14:30 - 15:00 | Graphical Models and their Polynomial Systems in OSCAR (CICSU 44-45, 108) - Antony Della Vecchia | |
| 15:00 - 15:30 | Arrangements and Likelihood (CICSU 44-45, 108) - Maximilian Wiesmann | |
| 15:30 - 16:00 | Coffee Break (CICSU 44-45, 102) | |
| 16:00 - 16:30 | Computer-assisted results in computer vision (CICSU 44-45, 108) - Anton Leykin | |
| 16:30 - 17:00 | Solving Stengle's example in rational arithmetic: exact values of the moment-SOS relaxation (CICSU 44-45, 108) - Didier Henrion |
Friday, September 4, 2026
| Time | Event | (+) |
| 09:00 - 10:30 | From Circuits to Ideals: Gröbner Bases for Formal Verification (CICSU 44-45, 108) - Daniela Kaufmann | |
| 10:30 - 11:00 | Coffee Break (CICSU 44-45, 102) | |
| 11:00 - 11:30 | Noncommutative Gröbner Bases – Theory, Applications, and Software (CICSU 44-45, 108) - Clemens Hofstadler | |
| 11:30 - 12:00 | Chow classes of Generalized Schubert varieties (CICSU 44-45, 108) - Matěj Doležálek | |
| 12:00 - 14:00 | Lunch | |
| 14:00 - 14:30 | Polynomial systems in parameter estimation for ODE models (CICSU 44-45, 108) - Alexey Ovchinnikov | |
| 14:30 - 15:00 | Positivity Certificates for Polynomials over D-finite solutions (CICSU 44-45, 108) - Alaa Ibrahim | |
| 15:00 - 15:30 | Coffee Break (CICSU 44-45, 102) | |
| 15:30 - 16:00 | When Homotopy Gets Real: Numerical Decomposition of Real Algebraic Curves and Surfaces in Julia (CICSU 44-45, 108) - Juan Camilo Gonzalez | |
| 16:00 - 16:30 | Degenerating Discriminants (CICSU 44-45, 108) - Clara Briand | |
| 16:30 - 16:40 | Concluding remarks (CICSU 44-45, 108) - Organizers |
|
|