Sponsored by:

Association for Computing Machinery - SIGSAM
The Arctic University of Norway
the Lie-Størmer Center
the Tromsø Research Foundation
the Trond Mohn foundation
the Norwegian Research council



The program below is given in Norwegian local time.


Monday July 24th, 2023

8:30 Registration
8:50 - 9:00 Opening remarks
9:00 - 11:30 Session 1: Tutorial 1
Laura Kovács - Algebra-Based Loop Analysis
chair: Éric Schost
11:30 - 13:00 Lunch Break
13:00 - 15:30 Session 2: Tutorial 2
Irina Kogan - Invariants: Computation and Applications
chair: Shaoshi Chen
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session 3: Tutorial 3
Paola Boito - Matrix Structures and Matrix Functions
chair: Alicia Dickenstein
18:30 Reception at the Polar Museum

Tuesday July 25th, 2023

8:30 Registration
9:00 - 9:15 Welcome
9:15 - 10:15 Session 4: Invited talk 1
Nikhil Srivastava - The Complexity of Diagonalization
chair: Alicia Dickenstein
10:15 - 10:30 Break
Session 5A Session 5B
chair: Marianne Akian chair: Carsten Schneider
10:30 - 11:00 Christina Katsamaki and Fabrice Rouillier - On Isolating Roots in a Multiple Field Extension Manuel Kauers, Christoph Koutschan and Thibaut Verron - Transcendence Certificates for D-finite Functions
11:00 - 11:30 Rémi Imbach and Guillaume Moroz - Fast Evaluation and Root Finding for Polynomials with Floating-point Coefcients Shaoshi Chen, Ruyong Feng, Zewang Guo and Wei Lu - Stability Problems on D-finite Functions
11:30 - 12:00 Michael Burr, Kisun Lee and Anton Leykin - Isolating Clusters of Zeros of Analytic Systems Using Arbitrary-degree Inflation Manuel Kauers, Philipp Nuspl and Veronika Pillwein - Order Bounds for C2-finite Sequences
12:00 - 12:30 Peter Buergisser - Real Zeros of Mixed Random Fewnomial Systems Shaoshi Chen, Lixin Du and Manuel Kauers - Hermite Reduction for D-finite Functions via Integral Bases
12:30 - 14:15 Lunch Break
14:15 - 14:45 Session 6: Maplesoft presentation - Jürgen Gerhard
chair: Robert Corless
14:45 - 15:00 Break
Session 7A Session 7B
chair: Matthew England chair: Michael Burr
15:00 - 15:30 Xavier Dahan - Chinese Remainder Theorem for Bivariate Lexicographic Gröbner Bases Qiao-Long Huang and Xiao-Shan Gao - New Sparse Multivariate Polynomial Factorization Algorithms over Integers
15:30 - 16:00 Sriram Gopalakrishnan, Vincent Neiger and Mohab Safey El Din - Refined F5 Algorithms for Ideals of Minors of Square Matrices Tian Chen and Michael Monagan - A New Black Box Factorization Algorithm - the Non-monic Case
16:00 - 16:30 Éric Schost and Catherine St-Pierre - p-adic Algorithm for Bivariate Gröbner Bases Sayak Chakrabarti and Nitin Saxena - An Efective Description of the Roots of Multivariates mod pk and the Related Igusa's Local Zeta Function
16:30 - 17:00 Clemens Hofstadler and Thibaut Verron - Signature Gröbner Bases in Free Algebras over Rings Przemysław Koprowski - Factorization and Root-finding for Polynomials over Division Quaternion Algebras
17:10 - 18:00 ISSAC business meeting
18:10 - 19:00 SIGSAM business meeting

Wednesday July 26th, 2023

9:15 - 10:15 Session 8: Invited talk 2
Frank Vallentin - Least Distortion Euclidean Embeddings of Flat Tori
chair: Cordian Reiner
10:15 - 10:30 Break
Session 9A Session 9B
chair: Timothy Duff chair: Ruyong Feng
10:30 - 11:00 Carsten Schneider - Refined Telescoping Algorithms in R\Pi\Sigma-extensions to Reduce the Degrees of the Denominators Rizeng Chen and Bican Xia - Deciding First-order Formulas Involving Univariate Mixed Trigonometric-polynomials
11:00 - 11:30 Thierry Combot - Hyperelliptic Integrals to Elliptic Integrals James H. Davenport, Akshar Nair, Gregory Sankaran and Ali Kemal Uncu - Lazard-style CAD and Equational Constraints
11:30 - 12:00 Christoph Koutschan, Ali Kemal Uncu and Elaine Wong - A Unified Approach to Unimodality of Gaussian Polynomials Christian Eder, Pierre Lairez, Rafael Mohr and Mohab Safey El Din - A Direttissimo Algorithm for Equidimensional Decomposition
12:00 - 12:30 Aditya Ravi and Ilya Volkovich - New Characterization of the Factor Refinement Algorithm with Applications George Labahn, Cordian Riener, Mohab Safey El Din, Eric Schost and Thi Xuan Vu - Faster Real Root Decision Algorithm for Symmetric Polynomials
12:30 - 14:00 Lunch Break
14:00 - 15:00 Session 10: Poster session
15:00 - 15:15 Group Photo
Session 11A Session 11B
chair: Guillaume Moroz chair: Maurice Rojas
15:15 - 15:45 Michael Burr and Michael Byrd - Certified Simultaneous Isotopic Approximation of Pairs of Curves via Subdivision Adam Kurpisz and Elias Wirth - Sum of Squares Bounds for the Empty Integral Hull Problem
15:45 - 16:15 Md Nazrul Islam, Adrien Poteaux and Rémi Prébet - Algorithm for Connectivity Queries on Real Algebraic Curves Gorav Jindal and Louis Gaillard - On the Order of Power Series and the Sum of Square Roots Problem
16:15 - 16:45 Florent Brehard, Adrien Poteaux and Léo Soudant - Validated Root Enclosures for Interval Polynomials with Multiplicities Przemysław Koprowski, Victor Magron and Tristan Vaccon - Pourchet's Theorem in Action: Decomposing Nonnegative Univariate Polynomials as Sums of Five Squares
16:45 - 17:15 Kosaku Nagasaka - SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials Sander Gribling, Sven Polak and Lucas Slot - A Note on the Computational Complexity of the Moment-SOS Hierarchy for Polynomial Optimization
17:15 - 17:30 Break
Session 12A
Software Presentations
Session 12B
Software Presentations
chair: Anton Leykin chair: Veronika Pillwein
17:30 - 17:50 David Ayotte, Xavier Caruso, Antoine Leudière and Joseph Musleh - Drinfeld Modules in SageMath Nikolai Fadeev, Carsten Schneider and Johannes Blümlein - Computing Mellin Representations and Asymptotics of Nested Binomial Sums in a Symbolic Way: the RICA Package
17:50 - 18:10 Christopher Brown, Zoltán Kovács and Tomas Recio - Faithful Real-time Animation of Parametrized (semi-)Algebraic Expressions via Cylindrical Algebraic Decomposition Miguel Marco-Buzunáriz, Ana Romero and Jose Divasón - Efective Homology of Universal Covers
18:10 - 18:30 Jérémy Berthomieu, Stef Graillat, Dimitri Lesnof and Theo Mary - Modular Matrix Multiplication on GPU for Polynomial System Solving Nusa Zidaric, Guang Gong, Mark Aagaard, Aleksandar Jurisic and Olexandr Konovalov - FFCSA -- Finite Field Constructions, Search, and Algorithms
18:30 - 18:50 Yang-Hui He, Vishnu Jejjala, Brent Nelson, Hal Schenck and Michael Stillman - MSSM: A Macaulay2 Package for the Vacuum Moduli Space Bertrand Teguia Tabuguia - Operations for D-Algebraic Functions
19:30 Banquet at the Full Steam Restaurant

Thursday July 27th, 2023

9:00 - 10:00 Session 13: Invited talk 3
Rekha R. Thomas - Two Views of P3
chair: Elias Tsigaridas
10:00 - 10:15 Break
Session 14A Session 14B
chair: Peter Buergisser chair: Bican Xia
10:15 - 10:45 Gilles Villard - Elimination Ideal and Bivariate Resultant over Finite Fields Ruiwen Dong - Termination of Linear Loops under Commutative Updates
10:45 - 11:15 Tor Hadas and Oded Schwartz - Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation George Kenison, Laura Kovács and Anton Varonka - From Polynomial Invariants to Linear Loops
11:15 - 11:45 Riccardo Invernizzi and Daniele Taufer - Multiplication Polynomials for Elliptic Curves over Finite Local Rings George Kenison, Klara Nosan, Mahsa Shirmohammadi and James Worrell - The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
11:45 - 12:15 Stephen Watt - Efficient Quotients Using Exact Arithmetic Sizhuo Yan, Jianting Yang, Tianshi Yu and Lihong Zhi - A Characterization of Perfect Strategies for Mirror Games
12:15 - 12:45 Manuel Kauers and Jakob Moosbauer - Flip Graphs for Matrix Multiplication -
12:45 - 14:15 Lunch Break
Session 15A
Session 15B
chair: Manuel Kauers chair: Ali Kemal Uncu
14:15 - 14:45 Saúl Blanco and Daniel Skora - An Algorithm to Enumerate Grid Signed Permutation Classes Yossef Musleh and Éric Schost - Computing the Characteristic Polynomial of Endomorphisms of a Finite Drinfeld Module using Crystalline Cohomology
14:45 - 15:15 Dominic Bunnett, Michael Joswig and Julian Pfeifle - Stacky Fans and Tropical Moduli in Polymake Alin Bostan, Vincent Neiger and Sergey Yurkevich - Beating Binary Powering for Polynomial Matrices
15:15 - 15:45 Tristan Vaccon and Thibaut Verron - Universal Analytic Gröbner Bases and Tropical Geometry Clément Pernet, Hippolyte Signargout and Gilles Villard - Exact Computations with Quasiseparable Matrices
15:45 - 16:15 Yulia Alexandr, Joe Kileel and Bernd Sturmfels - Moment Varieties for Mixtures of Products Jose Divasón, Fatemeh Mohammadi, Eduardo Saenz-De-Cabezon and Henry Wynn - Sensitivity Analysis of Discrete Preference Functions Using Koszul Simplicial Complexes
16:15 - 16:45 Marianne Akian, Antoine Béreau and Stéphane Gaubert - The Tropical Nullstenllensatz and Positivstellensatz for Sparse Polynomial Systems -
16:45 - 17:00 Break
Session 16A Session 16B
chair: Hughes Verdure chair: Thibaut Verron
17:00 - 17:30 Bo Huang - Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems Timothy Duff, Viktor Korotynskiy, Tomas Pajdla and Margaret Regan - Using Monodromy to Recover Symmetries of Polynomial Systems
17:30 - 18:00 Thomas Cluzeau, Camille Pinto and Alban Quadrat - Further Results on the Computation of the Annihilator of Integro-differential Operators Robert Corless - Blendstrings: an Environment for Computing with Smooth Functions
18:00 - 18:30 Alin Bostan, Hadrien Notarantonio and Mohab Safey El Din - Fast Algorithms for Discrete Differential Equations Hao Du, Yiman Gao, Jing Guo and Ziming Li - Computing Logarithmic Parts by Evaluation Homomorphisms