Monday, November 3, 2025
| Time | Event | (+) |
| 12:00 - 14:00 | Welcome lunch (D8 004) | |
| 14:00 - 15:00 | Representation of Numbers and Cryptography (D8 001) - Jean-Claude Bajard |
|
| 15:00 - 15:30 | Reciprocal Square Root Accelerated using Hardware and Software Techniques (D8 001) - Orégane Desrentes |
|
| 15:30 - 16:00 | Coffee break (D8 004) | |
| 16:00 - 16:30 | Semi-Automatic Compile-Time Math Intrinsic Optimization Using LLVM (D8 001) - Kristalys Ruiz-Rohena |
|
| 16:30 - 17:00 | Detection of Numerical Bugs Using Large Language Models (D8 001) - Lisa Taldir |
|
| 17:00 - 17:30 | Generation of Pathological Cases for Rounding Errors (D8 001) - David Hamelin |
|
Tuesday, November 4, 2025
| Time | Event | (+) |
| 09:00 - 10:00 | Multiword Arithmetic: Long-Standing Algorithms, Modern Challenges (D8 001) - Mioara Joldes |
|
| 10:00 - 10:30 | Hardware-aware numerical data formats for DNN acceleration (D8 001) - Anastasia Volkova |
|
| 10:30 - 11:00 | Coffee break (D8 004) | |
| 11:00 - 11:30 | RSA-CRT Using a Hybrid RNS/PMNS System (D8 001) - Alexy Dutois |
|
| 11:30 - 12:00 | A New Constraint Programming Model for the Multiple Constant Multiplication (D8 001) - Théo Cantaloube |
|
| 12:00 - 13:30 | Lunch (D8 004) | |
| 13:30 - 14:30 | Multiword and Multimodular Algorithms for Emulating High Accuracy with Low Precision (D8 001) - Théo Mary |
|
| 14:30 - 15:00 | Beyond Weight-Only: Mixed-Precision Quantization for BERT Weights, Activations and Embeddings (D8 001) - Cédric Gernigon | |
| 15:00 - 15:20 | Coffee break (D8 004) | |
| 15:20 - 16:20 | Electrical Activity in Arithmetic Operations vs Security (D8 001) - Arnaud Tisserand |
|
| 16:30 - 18:00 | Assemblée du GT ARITH (meeting for the Arithmetic working group) (D8 001) |
Wednesday, November 5, 2025
| Time | Event | (+) |
| 09:00 - 10:00 | Mechanical and User-friendly Lemmas for Lagrange finite elements and floating-point Errors in Rocq (D8 001) - Sylvie Boldo |
|
| 10:00 - 10:30 | Optimal Quantization of Rank-One Matrices in Floating-Point Arithmetic (D8 001) - Elisa Riccietti |
|
| 10:30 - 11:00 | Coffee break (D8 004) | |
| 11:00 - 12:00 | Learning about Computer Arithmetic by Formally Verifying It (D8 001) - John Harrison |
|
| 12:00 - 14:00 | Lunch (D8 004) | |
| 14:00 - 15:00 | Elementary Functions (or not) ... and Implementation (D8 001) - Florent de Dinechin |
|
| 15:00 - 15:30 | Computer Arithmetic on the 8-bit Floating-Point Formats G.711 alaw and ulaw (D8 001) - Christoph Lauter |
|
| 15:30 - 16:00 | Coffee break (D8 004) | |
| 16:00 - 17:00 | Rounding Error Statistics as Numerics Signature (D8 001) - Peter Tang |
|
| 19:30 - 22:30 | Dinner at PY restaurant (16, Cours Vitton 69006 Lyon) |
Thursday, November 6, 2025
| Time | Event | (+) |
| 09:00 - 10:00 | Floating-Point in Transition: Bridging Scientific Computation and AI Acceleration (D8 001) - Javier Bruguera |
|
| 10:00 - 10:30 | Mixed Precision Accumulation for Neural Network Inference Guided by Componentwise Forward Error Analysis (D8 001) - El-Mehdi El Arar |
|
| 10:30 - 11:00 | Coffee break (D8 004) | |
| 11:00 - 11:30 | CROQuant: Complex Rank-One Quantization Algorithm (D8 001) - Maël Chaumette |
|
| 11:30 - 12:00 | Memory Accessor for Mixed-Precision GMRES-Based Iterative Refinement (D8 001) - Antoine Jégo |
|
| 12:00 - 14:00 | Lunch (D8 004) | |
| 14:00 - 15:00 | An Arithmetical Viewpoint on Conversion Theorems (D8 001) - Valérie Berthé |
|
| 15:00 - 15:30 | Solving Sparse Linear Systems with Adaptive Precision GMRES (D8 001) - Alexandre Tabouret |
|
| 15:30 - 16:00 | Coffee break (D8 004) | |
| 16:00 - 17:00 | The Table Maker's Dilemma: Old Stories and New Results (D8 001) - Guillaume Hanrot |
|
| 17:00 - 17:30 | Surprise talk (D8 001) - Paul Zimmermann |
|
Friday, November 7, 2025
| Time | Event | (+) |
| 09:00 - 10:00 | On Some Ideas Used in Arithmetic (D8 001) - Miloš Ercegovac |
|
| 10:00 - 10:30 | Coffee break (D8 004) | |
| 10:30 - 11:30 | Surprise interventions (D8 001) |
|
| 11:30 - 12:30 | This is not a talk - a story of tables and chairs (D8 001) - Jean-Michel Muller |
|
| 12:30 - 15:00 | Lunch (D8 004) |
