RAIM 2017 : 9èmes Rencontres «Arithmétique de l'Informatique Mathématique»

Date: 
Mardi, 24 Octobre, 2017 - Jeudi, 26 Octobre, 2017
Lieu: 

LIP, Lyon

Description: 

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.