RAIM 2022 : 13èmes Rencontres Arithmétique de l'Informatique Mathématique

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 Arithmétique du GdR IM : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul scientifique, cryptographie... Les 13-èmes Rencontres Arithmétique de l'Informatique auront lieu du mercredi 2 novembre au vendredi 4 novembre 2021 à Nantes Université. Le premier exposé aura lieu le 2 à 14h. Les journées finiront le 4 à 12h30.