Program

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

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

Privacy | Accessibility: non-compliant