Program
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
|
TBA (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
|
Algebraic methods in sum-of-squares optimization: quotients, sparsity and symmetry (CICSU 44-45, 108) - Mauricio Velasco |
|
|
10:30 - 11:00
|
Coffee Break (CICSU 44-45, 102) |
|
|
11:00 - 12:00
|
TBA (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: Practical Aspects of Homotopy Continuation 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 |
|
|
Loading... 
