Program
Timezones
The program below is given in Norwegian local time.- Norway (UTC+2)
- PDT (Pacific Daylight Time = UTC-7)
- EDT (East coast of USA = UTC-4)
- 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
- All plenary lectures/tutorials and all A sessions will be in Room Ishavet 1.
- All B sessions will be in the adjacent room Ishavet 2.
Monday July 24th, 2023
| Time | ||
|---|---|---|
| 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
| Time | ||
|---|---|---|
| 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
| Time | ||
|---|---|---|
| 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
| Time | ||
|---|---|---|
| 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 |