![](https://project.inria.fr/raim2023/files/2023/06/BANNER-VIVRE-A-NANCY-1.jpg)
Les Rencontres Arithmétiques du GdR Informatique Mathématique (RAIM) abordent les problèmes liés à l’arithmétique et se rapportant aux thématiques du GT Arith du GdR IM : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul scientifique, cryptographie…
Ces rencontres auront lieu au LORIA du lundi 6 novembre 14h au mercredi 8 novembre à midi.
L’inscription est gratuite, mais obligatoire.