16es Rencontres de l'Arithmétique en Informatique Mathématique

9:00 - 10:00 (1h)

Multiword Arithmetic: Long-Standing Algorithms, Modern Challenges

D8 001

Mioara Joldes

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 - 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 - 14:30 (1h)

Multiword and Multimodular Algorithms for Emulating High Accuracy with Low Precision

D8 001

Théo Mary

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

RAIM Meeting 2025: 16th Rencontres de l'Arithmétique en Informatique Mathématique – A Tribute to Jean-Michel Muller