Program
Timezones
The program below is given in French local time. France (UTC+2)
 PDT (Pacific Daylight Time = UTC7)
 EDT (East coast of USA = UTC4)
 GMT/UTC
 CET (Central Europe = UTC+2)
 CST (China Standard Time = UTC +8)
 JST (Japan Standard Time = UTC +9)
 AEST (Australian Eastern Standard Time = UTC +10)
 NZST (New Zealand Standard Time = UTC +12)
Sessions
 Left column is Session A
 Right column is Session B
 Plenary talks/... (i.e. when columns are fused) are in Session A
Except for the banquet and most lunch breaks, all conference events takes place at the Lilliad building.
Monday July 4th, 2022
Time  Lilliad Building  

8:00  Registration  
8:45  Opening remarks  
chair: Marc Moreno Maza  
9:00 
Tutorial No recording  Nathalie Verdière  Applications of computer algebra to parameter analysis of dynamical systems (with the contribution of Sébastien Orange for the computer session) Note: The tutorial starts at Lilliad (at 9am). Short break around 10h25. And then the participants walk together to the M5 building for a session on computers (a map is here in case you are lost or late) 

11:30  Lunch Break (at the "Restaurant Universitaire Sully")  
chair: Marc Moreno Maza  
13:00 
Tutorial No recording  Matías Bender  Solving sparse polynomial systems using Gröbner bases and resultants 

15:30  Coffee Break  
chair: Marc Moreno Maza  
16:00 
Tutorial Aydın Buluç  Sparse matrices powering three pillars of science: simulation, data, and learning 

19:00  Welcome reception 
Tuesday July 5th, 2022
Time  Lilliad Building  

8:00  Registration  
8:45  Opening remarks  
9:00 
Invited talk Joris van der Hoeven  On the complexity of symbolic computation chair: Marc Moreno Maza 

10:00  Coffee break  
Session A Linear Algebra and Polynomial Matrices Algorithmic Number Theory (1/2) 
Session B Differential, difference algebra (1/3)  
chair: Gregor Kemper  chair: Manuel Kauers  
10:30  Dong Lu (Online), Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng  A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorization  Sergei Abramov, Marko Petkovsek and Anna Ryabenko  On Linear Dependence of Rows and Columns in Matrices over Noncommutative Domains 
11:00  George Labahn, Vincent Neiger, Thi Xuan Vu and Wei Zhou  RankSensitive Computation of the Rank Profile of a Polynomial Matrix  Philipp Nuspl and Veronika Pillwein  Simple C2finite Sequences: a Computable Generalization of Cfinite Sequences 
11:30  Robert Corless, George Labahn, Dan Piponi and Leili Rafiee Sevyeri  Bohemian Matrix Geometry  Alexander Levin  Reduction with respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules 
12:00  ChengChao Huang (Online)  Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers  Sebastian Falkensteiner  Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs 
12:30  Lunch break (at the "Restaurant Universitaire Sully")  
14:00 
Session A Maplesoft presentation  Jürgen Gerhard chair: Guillaume Moroz 

Session A Algorithmic Number Theory (2/2) Gröbner Bases 
Session B Symbolic Integration and Summation Optimization  
chair: Elias Tsigaridas  chair: Alexander Levin  
14:45  Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi and James Worrell  The Membership Problem for Hypergeometric Sequences with Rational Parameters  Shaoshi Chen (Online)  Stability Problems in Symbolic Integration 
15:15  Reinhold Burger (played Online, with G. Labahn zoom backup)  Enumerating Denumerable Sets in Polynomial Time via the SchröderBernstein Theorem  Carlos Arreche and Yi Zhang  Mahler Discrete Residues and Summability for Rational Functions 
15:45  Coffee break  
16:15  Andrew Ferguson and Huu Phuoc Le  Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals  Przemysław Koprowski  Solving Sums of Squares in Global Fields 
16:45  Jérémy Berthomieu, Vincent Neiger and Mohab Safey El Din  Faster change of order algorithm for Gröbner bases under shape and stability assumptions  Yuan Chang, Jesús De Loera and William Wesley  Rado Numbers and SAT Computations 
17:15  No recording  Michela Ceria and Ferdinando Mora  A Degroebnerization Approach to Algebraic Statistics  Victor Magron, Mohab Safey El Din, Markus Schweighofer and Trung Hieu Vu  Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients 
17:45  ISSAC business meeting  
18:35  19:20  SIGSAM business meeting 
Wednesday July 6th, 2022
Time  Lilliad Building  

8:45  Registration  
9:00 
Invited talk Mioara Joldes  Validated numerics: algorithms and practical applications in aerospace chair: Bruno Salvy 

10:00  Coffee break  
Differential, difference algebra (2/3)  Polynomials Systems (1/2)  
chair: Gleb Pogudin  chair: Tristan Vaccon  
10:30  Frédéric Chyzak, Alexandre Goyer and Marc Mezzarobba  SymbolicNumeric Factorization of Differential Operators  Dingkang Wang, Jingjing Wei, Fanghui Xiao and Xiaopeng Zheng (Online)  Rational Univariate Representation of ZeroDimensional Ideals with Parameters 
11:00  Manuel Kauers and Christoph Koutschan  Guessing with Little Data  Hiroshi Kera  Border Basis Computation with Gradientweighted Normalization 
11:30  Hui Huang (Online), Manuel Kauers and Gargi Mukherjee  OrderDegreeHeight Surfaces for Linear Operators  Péter Kutas, Mickaël Montessinos, Gergely Zábrádi and Tímea Csahók  Finding nontrivial zeros of quadratic forms over rational function fields of characteristic 2 
12:00  Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio and Mohab Safey El Din  Algorithms for Discrete Differential Equations of Order 1  André Galligo  Modeling Complex Root Motion of Real Random Polynomials under Differentiation 
12:30  Lunch break at Lilliad and Poster Session  
13:00  Poster session  
Software Demo  Software Demo  
chair: Erik Postma  chair: Daniel Roche  
14:55  Bertrand Teguia Tabuguia  Guessing with quadratic differential equations   
15:15  ChiangHeng Chien, Hongyi Fan, Elias Tsigaridas, Ahmad Abdelfattah, Stanimire Tomov, Benjamin Kimia  Parallel Path Tracking for Homotopy Continuation using GPU  Philipp Nuspl  Cfinite and C^{2}finite Sequences in SageMath 
15:35  Victor RamosGonzalez (Online), Joaquin BorregoDiaz, Fernando SanchoCaparrini  LogicUS: A functional webbased tool for teaching Logic  Marta Panizzut, Yue Ren  Tropical Geometry in OSCAR 
15:55  Coffee break  
Algorithms and Complexity (1/3)  Polynomial Systems (2/2) Lattices and Graphs  
chair: Mohab Safey El Din  chair: Jérémy Berthomieu  
16:15  Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi and James Worrell  On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices  Evangelos Bartzos, Ioannis Emiris, Ilias S. Kotsireas and Charalambos Tzamos  Bounding the number of Roots for MultiHomogeneous Systems 
16:45  Alperen Ergür, Josué TonelliCueto and Elias Tsigaridas  Beyond WorstCase Analysis for Root Isolation Algorithms  Michael Figelius and Markus Lohrey  Exponent Equations in HNNextensions 
17:15  Adrien Poteaux and Martin Weimann  Local Polynomial Factorisation: Improving the Montes Algorithm  Haomin Li and Arne Storjohann  Computing a Basis for an Integer Lattice: a Special Case 
17:45  18:15  Garrett Paluck and Michael Monagan  Linear Hensel Lifting for Zp[x,y] for n Factors with Cubic Cost  Christian Eder, Viktor Levandovskyy (online), Julien Schanz, Simon Schmidt, Andreas Steenpass and Moritz Weber  Existence of Quantum Symmetries for Graphs on up to Seven Vertices: a Computer Based Approach 
19:30  Banquet at the restaurant "L'Omnia" 
Thursday July 7th, 2022
Time  Lilliad Building  

8:45  Registration  
9:00 
Invited talk Avi Wigderson (online talk)  Noncommutative Optimization: where algebra, analysis and algorithms meet chair: Lihong Zhi 

10:00  Coffee break  
10:30  Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray and Daniel Roche  Sparse Polynomial Interpolation and Division in Softlinear Time  
Sparse Polynomial Interpolation
Algorithms and Complexity (2/3) 
Differential and difference algebra (3/3) Differential Systems in Applications (1/2)  
chair: Clément Pernet  chair: George Labahn  
11:00  Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray and Daniel Roche  Random Primes without Primality Testing  Yi Zhou and Mark van Hoeij  Desingularization and pCurvature of Linear Recurrence Operators 
11:30  Erich Kaltofen (Online)  Sparse Polynomial Hermite Interpolation  Dmitrii Pavlov and Gleb Pogudin  On Realizing DifferentialAlgebraic Equations by Rational Dynamical Systems 
12:00  Thi Xuan Vu  Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials  François Ollivier  Extending Flat Motion Planning to Nonflat Systems. Experiments on Aircraft Models Using Maple 
12:30  Lunch break (at the "Restaurant Universitaire Sully")  
Jenks Prize Chair: Michael Monagan 

14:00  Henri Cohen, Karim Belabas, Bill Allombert  Computational Number Theory, Past, Present, and Future  
Algorithms and Complexity (3/3)  Differential Systems in Applications (2/2) Commutative algebra and algebraic geometry  
chair: Bruno Grenet  chair: Christoph Koutschan  
14:30  Barbara Giunti, Guillaume Houry and Michael Kerber  Average Complexity of Matrix Reduction for Clique Filtrations  Rodrigo Iglesias, Patricia PascualOrtigosa and Eduardo SaenzDeCabezon  An Algebraic Version of the Sumofdisjointproducts Method for Multistate System Reliability Analysis 
15:00  Erich Kaltofen (online)  The GKR Protocol Revisited: Nearly Optimal ProverComplexity For PolynomialTime Wiring Algorithms and For Primality Testing in n^1/2+o(1) Rounds  Yuki Ishihara (online)  Modular Techniques for Intermediate Primary Decomposition 
15:30  François Morain  Implementing the ThullYap Algorithm for Computing Euclidean Remainder Sequences  Xavier Caruso, Tristan Vaccon and Thibaut Verron  On Polynomial Ideals And Overconvergence In Tate Algebras 
16:00  Coffee break  
Real Algebraic Geometry  Computational Algebraic Geometry  
chair: Anton Leykin  chair: Marc Moreno Maza  
16:30  Weifeng Shang (online), Chenqi Mou and Deepak Kapur  Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals  Tobias Boege, Sonja Petrović and Bernd Sturmfels  Marginal Independence Models 
17:00  Damien Chablat, Rémi Prebet, Mohab Safey El Din, Durgesh Salunkhe and Philippe Wenger  Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry  Apostolos Chalkis, Christina Katsamaki and Josue TonelliCueto  On the Error of Random Sampling: Uniformly Distributed Random Points on Parametric Curves 
17:30  18:00  Nuwan Herath Mudiyanselage, Guillaume Moroz and Marc Pouget  Fast HighResolution Drawing of Algebraic Curves  Carles Checa Nualart and Ioannis Emiris  A Greedy Approach to the CannyEmiris Formula 