09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
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›10:00 (30min)
› D8 001
10:00 - 10:30 (30min)
Hardware-aware numerical data formats for DNN acceleration
D8 001
Anastasia Volkova
10:30 - 11:00 (30min)
Coffee break
D8 004
11:00 - 11:30 (30min)
RSA-CRT Using a Hybrid RNS/PMNS System
D8 001
Alexy Dutois
›11:30 (30min)
› D8 001
11:30 - 12:00 (30min)
A New Constraint Programming Model for the Multiple Constant Multiplication
D8 001
Théo Cantaloube
12:00 - 13:30 (1h30)
Lunch
D8 004
›13:30 (1h)
› D8 001
13:30 - 14:30 (1h)
Multiword and Multimodular Algorithms for Emulating High Accuracy with Low Precision
D8 001
Théo Mary
›14:30 (30min)
Beyond Weight-Only: Mixed-Precision Quantization for BERT Weights, Activations and Embeddings
Cédric Gernigon
Cédric Gernigon
› D8 001
14:30 - 15:00 (30min)
Beyond Weight-Only: Mixed-Precision Quantization for BERT Weights, Activations and Embeddings
D8 001
Cédric Gernigon
15:00 - 15:20 (20min)
Coffee break
D8 004
15:20 - 16:20 (1h)
Electrical Activity in Arithmetic Operations vs Security
D8 001
Arnaud Tisserand
16:30 - 18:00 (1h30)
Assemblée du GT ARITH (meeting for the Arithmetic working group)
D8 001
