Program
| 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 |
|
| 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) |
|
|
