16es Rencontres de l'Arithmétique en Informatique Mathématique - Sciencesconf.org

Week Mon. 03 Tue. 04 Wed. 05 Thu. 06 Fri. 07 List

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

CNRS

CCSD

Sciencesconf