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.

Plus d’informations sur le site de la conférence