Les Rencontres Arithmétiques du GDR 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 10ème édition des RAIM aura lieu du 12 au 14 novembre 2018, au laboratoire LRI sur le Plateau de Saclay.

• GT Arithmétique du GDR Informatique Mathématique
• ANR FastRelax
• ANR Soprano

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 est le 23 octobre.

Guillaume Melquiond