Program
| Time |
Event |
(+)
|
|
14:00 - 17:30
|
Theo Mary's habilitation defense |
|
|
17:30 - 19:00
|
Workshop cocktail reception |
|
Wednesday, October 8, 2025
| Time |
Event |
(+)
|
|
08:00 - 08:30
|
Welcome coffee |
|
|
08:30 - 08:40
|
Opening remarks |
|
|
08:40 - 10:20
|
Session 1 - Chair: Valeria Simoncini |
(+)
|
|
08:40 - 09:00 |
› Avoiding breakdown in incomplete factorizations in low precision arithmetic - Jennifer Scott, STFC-Rutherford Appleton Laboratory |
|
|
09:00 - 09:20 |
› Mixed precision strategies for preconditioned GMRES - Bastien Vieublé, Chinese Academy of Sciences |
|
|
09:20 - 09:40 |
› The numerical stability of sketched GMRES - Liam Burke, Charles University |
|
|
09:40 - 10:00 |
› On the numerical stability of the preconditioned conjugate gradient algorithm using mixed precision - Thomas Bake, Charles University |
|
|
10:00 - 10:20 |
› Mixed precision augmented GMRES - Yongseok Jang, LIP6 |
|
|
10:20 - 11:00
|
Coffee break |
|
|
11:00 - 12:20
|
Session 2 - Chair: Jean-Michel Muller |
(+)
|
|
11:00 - 11:20 |
› Is Mixed Precision Computing really the Top Priority? - Hartwig Anzt, Technical University of Munich |
|
|
11:20 - 11:40 |
› Emulating High-precision Matrix Operations on Low-precision Matrix Engines - Rio Yokota, Institute of Science Tokyo |
|
|
11:40 - 12:00 |
› Computing Floating-Point Matrix Products via Low-Precision Integer Arithmetic - Massimiliano Fasi, University of Leeds |
|
|
12:00 - 12:20 |
› How Tensor Core-Accelerated Mixed-Precision Computing and Floating-Point Emulation Can Improve Linear Algebra Performance and Energy Efficiency - Harun Bayraktar, NVIDIA |
|
|
12:20 - 14:00
|
Lunch |
|
|
14:00 - 15:40
|
Session 3 - Chair: Paolo Bientinesi |
(+)
|
|
14:00 - 14:20 |
› A practical, fully parallel implementation of the (H-)Tucker decomposition via randomization - Martina Iannacito, Università di Bologna |
|
|
14:20 - 14:40 |
› Recent advances in mixed-precision low-rank tensor approximations - Eda Oktay, Max Planck Institute for Dynamics of Complex Technical Systems |
|
|
14:40 - 15:00 |
› TT-FEAST: A High-Dimensional Eigenvalue Solver using Contour Integration and Tensor Train format - Mohammad Issa, CEA LIST |
|
|
15:00 - 15:20 |
› Error Controlled Compression of Scientific Data with Low-Rank Approximations - George Turkiyyah, KAUST |
|
|
15:20 - 15:40 |
› Floating Point Compression for H-Matrices - Clément Peaucelle, Airbus |
|
|
15:40 - 16:20
|
Coffee break |
|
|
16:20 - 18:00
|
Session 4 - Chair: Hartwig Anzt |
(+)
|
|
16:20 - 16:40 |
› Surrogate techniques for matrix-free sparse linear solvers - Ulrich Rüde, CERFACS, VSB-Technical University of Ostrava, FAU Erlangen-Nürnberg |
|
|
16:40 - 17:00 |
› Multigrid with Linear Storage Complexity - Daniel Bauer, Friedrich-Alexander-Universität Erlangen-Nürnberg |
|
|
17:00 - 17:20 |
› Mixed precision multigrid V-cycle method - Petr Vacek, IFPEN |
|
|
17:20 - 17:40 |
› Mixed Precision Domain Decomposition Preconditioners: Perturbation Analysis and Practical Guidelines - Tom Caruso, LJLL |
|
|
17:40 - 18:00 |
› Two-level asynchronous substructuring domain decomposition solvers - Frédéric Magoulès, CentraleSupéléc |
|
Thursday, October 9, 2025
| Time |
Event |
(+)
|
|
08:00 - 08:30
|
Welcome coffee |
|
|
08:30 - 10:10
|
Session 5 - Chair: Julien Langou |
(+)
|
|
08:30 - 08:50 |
› Fast randomized algorithms for rank structured matrices - Per-Gunnar Martinsson, University of Texas at Austin |
|
|
08:50 - 09:10 |
› A novel fixed-accuracy variant of the Randomized Interpolative Decomposition algorithm - Karmijn Hoogveld, IRIT |
|
|
09:10 - 09:30 |
› Sketching strategies as NLA companion - Valeria Simoncini, Università di Bologna |
|
|
09:30 - 09:50 |
› Adaptive Sketching Based Construction of H2 Matrices on GPUs - Xiaoye Sherry Li, LBNL |
|
|
09:50 - 10:10 |
› Accelerating an ensemble of variational data assimilations with randomized preconditioning - Ieva Daužickaitė, CERFACS |
|
|
10:10 - 10:50
|
Coffee break |
|
|
10:50 - 12:10
|
Session 6 - Chair: Rio Yokota |
(+)
|
|
10:50 - 11:10 |
› Mixed precision algorithms with neural operator preconditioning for solving some parametric PDEs - Yanfei Xiang, IRMA |
|
|
11:10 - 11:30 |
› A Matrix Factorization Framework for Community Detection under the Degree-Corrected Block Model - Alexandra Dache, Université de Mons |
|
|
11:30 - 11:50 |
› Integrative Co-Embedding of Multi-View Data Sets - Haesun Park, Georgia Institute of Technology |
|
|
11:50 - 12:10 |
› Minimum-norm solution of the non-symmetric semidefinite Procrustes problem - Stefano Sicilia, Université de Mons |
|
|
12:10 - 14:30
|
Lunch + poster session |
(+)
|
|
12:10 - 14:30 |
› Orthogonalization Avoidant Davidson - Ioannis Thanasis, Charles University |
|
|
12:10 - 14:30 |
› Mixed precision iterative refinement for least squares with linear equality constraints and generalized least squares problems - Bowen Gao, Fudan university |
|
|
12:10 - 14:30 |
› Mixed-Precision and Energy-Efficient Computations - Yanxiang Chen, Umeå University |
|
|
12:10 - 14:30 |
› PROMISE: Dynamic mixed precision analysis for numerical algorithms - Xinye Chen, LIP6 |
|
|
12:10 - 14:30 |
› Three examples of reduced precision with sparsity in high-fidelity simulations - Hans Johansen, LBNL |
|
|
12:10 - 14:30 |
› Do you precondition on the left or on the right ? - Nicole Spillane, CMAP |
|
|
14:30 - 16:10
|
Session 7 |
(+)
|
|
14:30 - 14:50 |
› Software emulation of 3Sum, the FMA and other operations. - Jean-Michel Muller, LIP |
|
|
14:50 - 15:10 |
› Accuracy of Mathematical Functions in Julia - Mantas Mikaitis, University of Leeds |
|
|
15:10 - 15:30 |
› Fast and accurate sub-cubic matrix multiplication - Clément Pernet, Grenoble INP - UGA, LJK |
|
|
15:30 - 15:50 |
› Probabilistic Error Analysis of Limited-Precision Stochastic Rounding - El-Mehdi El Arar, IRISA |
|
|
15:50 - 16:10 |
› Mixed-Precision Strategies in Spectral Element Codes: Accuracy-Aware Approximation for Energy-Efficient Simulations - Roman Iakymchuk, Umeå University |
|
|
16:10 - 16:50
|
Coffee break |
|
|
16:50 - 18:30
|
Session 8 - Chair: Patrick Amestoy |
(+)
|
|
16:50 - 17:10 |
› < T >LAPACK: a new linear algebra software package with mixed-precision capabilities - Julien Langou, University of Colorado Denver |
|
|
17:10 - 17:30 |
› A composable abstraction of hierarchical methods for matrix-vector product acceleration - Antoine Gicquel, LABRI |
|
|
17:30 - 17:50 |
› Mixed Precision Strategies for Solving Sparse Linear Systems with BiCGStab - Hugo Dorfsman, LIP6 - IFPEN |
|
|
17:50 - 18:10 |
› Solving Big Problems with Little Numbers - Hatem Ltaief, KAUST |
|
|
18:10 - 18:30 |
› Approximate solutions to (generalized) matrix chains - Paolo Bientinesi, Umeå University |
|
| Time |
Event |
(+)
|
|
08:00 - 08:30
|
Welcome coffee |
|
|
08:30 - 10:10
|
Session 9 |
(+)
|
|
08:30 - 08:50 |
› Computing accurate eigenvalues using a mixed-precision Jacobi algorithm - Françoise Tisseur, University of Manchester |
|
|
08:50 - 09:10 |
› A randomized Krylov-Schur eigensolver, featuring mixed-precision and deflation - Jean-Guillaume De Damas, LJLL |
|
|
09:10 - 09:30 |
› Randomized Two-Sided Gram-Schmidt Process With Applications - Lorenzo Piccinini, Università di Bologna |
|
|
09:30 - 09:50 |
› Minimal Residual Rational Krylov Subspace Method for Sequences of Shifted Linear Systems - Davide Palitta, Università di Bologna |
|
|
09:50 - 10:10 |
› Error formulas for block rational Krylov approximations of matrix functions - Stefano Massei, Università di Pisa |
|
|
10:10 - 10:50
|
Coffee break |
|
|
10:50 - 12:30
|
Session 10 - Chair: Sherry Li |
(+)
|
|
10:50 - 11:10 |
› A Journey Through Numerical Linear Algebra Algorithms with Variable Accuracy Storage - Emmanuel Agullo, Inria |
|
|
11:10 - 11:30 |
› Memory Accessor for Mixed-precision GMRES-based iterative refinement - Antoine Jego, LIP6 |
|
|
11:30 - 11:50 |
› Mixed-Precision FGMRES for Large Lyapunov Equations - Jonas Schulze, Max Planck Institute for Dynamics of Complex Technical Systems |
|
|
11:50 - 12:10 |
› Mixed-precision iterative refinement for low-rank Lyapunov equations - Xiaobo Liu, Max Planck Institute for Dynamics of Complex Technical Systems |
|
|
12:10 - 12:30 |
› A mixed precision quantum-classical algorithm for solving linear systems - Marc Baboulin, Laboratoire Méthodes Formelles |
|
|
12:30 - 14:00
|
Lunch |
|
|
Loading... 
