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 a eu lieu du 24 au 26 octobre 2017, au laboratoire LIP à Lyon.

• GT Arithmétique du GDR-IM
• Labex MILYON
• Laboratoire LIP
• ENS de Lyon

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. La date limite d'inscription était le mercredi 4 octobre 2017.

• Claude-Pierre Jeannerod
• Nicolas Louvet