Program

Week Tue. 01 Wed. 02 Thu. 03 Fri. 04 List

Tuesday, September 1, 2026

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

›8:50 (10min)

Welcoming remarks
Organizers

› CICSU 44-45, 108

›9:00 (1h)

Algebraic algorithms for polynomial system solving and msolve --- the past, the present and the future
Christian Eder

› CICSU 44-45, 108

›10:00 (30min)

Coffee Break

› CICSU 44-45, 102

›10:30 (30min)

Computing the resultant of equivariant polynomial systems
Gael Druez

› CICSU 44-45, 108

›11:00 (30min)

Toward a unified theory for common affine roots of general sets of multivariate polynomials
Olav Geil

› CICSU 44-45, 108

›11:30 (30min)

A new data structure for monomial ideals with applications to signature Gröbner bases
Théo Ternier

› CICSU 44-45, 108

›12:00 (2h)

Lunch

›14:00 (1h30)

Algebro-Geometric Methods in Program Synthesis and Verification
Fatemeh Mohammadi

› CICSU 44-45, 108

›15:30 (30min)

Coffee Break

› CICSU 44-45, 102

›16:00 (30min)

Simple generators of rational function fields via adaptive interpolation and Gröbner Bases
Alexander Demin

› CICSU 44-45, 108

›16:30 (30min)

Some applications of A-resultants
Matthias Zach

› CICSU 44-45, 108

Session

Speech/Intervention

Logistics

Break

Tour

Privacy | Accessibility: non-compliant