- Cet évènement est passé
RAIM 2017 : 9èmes Rencontres «Arithmétique de l’Informatique Mathématique»
24 octobre 2017 @ 0 h 00 min - 26 octobre 2017 @ 0 h 00 min
Les Rencontres «Arithmétique de l’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…
La 9ème édition des RAIM aura lieu du 24 au 26 octobre 2017, au laboratoire LIP à Lyon.
Pour plus d’informations voir https://raim2017.sciencesconf.org.