16es Rencontres de l'Arithmétique en Informatique Mathématique
3-7 nov. 2025
École normale supérieure de Lyon, site Descartes, bâtiment Buisson - Lyon (France)
Les Rencontres de l'Arithmétique en Informatique Mathématique du GDR IFM (Informatique Fondamentale et ses Mathématiques) abordent les problèmes liés à l'arithmétique et se rapportant aux thématiques du GT Arithmétique du GDR IFM: arithmétique des ordinateurs, validation numérique et preuve formelle, calcul scientifique, cryptographie...
Discipline scientifique :
Informatique - Arithmétique des ordinateurs
Lieu de la conférence