Présentation

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.

Soutiens

Inscription

L'inscription aux RAIM se fait sans frais ; elle est néanmoins obligatoire à des fins d'organisation, notamment pour les repas du midi qui seront pris en charge par l'organisation. Pour vous inscrire, utilisez l'onglet «S'incrire» dans le menu de navigation.

 

Personnes connectées : 1