Les 8-èmes Rencontres Arithmétique de l'Informatique auront lieu du mardi 28 juin au jeudi 30 juin 2016 à l' observatoire océanographique de Banyuls-sur-mer dans les Pyrénées Orientales en France.
Ces Rencontres Arithmétique de l'Informatique Mathématique 2016 aborderont les problèmes liés à l'arithmétique pour les thèmes principaux du GT arithmétique du GDR IM : arithmétique des ordinateurs, validation numérique et preuve formelle, calcul formel, calcul scientifique, geométrie arithmétique, cryptographie, calcul haute performance. Les exposés seront organisés en sessions avec un cours (1h) et deux ou trois exposés courts (30mn).
Les sessions seront les suivantes:
Session 1 : Arithmétique flottante - Mioara Joldes (LAAS, CNRS, Toulouse)
Session 2 : Calcul formel - Pascal Giorgi (LIRMM, Université de Montpellier)
Session 3 : Reproductibilité, Validation et Vérification - Guillaume Revy (DALI/LIRMM, UP)
Session 4 : Opérateurs - Christoph Lauter (LIP6, UPMC)
Session 5 : Arithmétique et Cryptographie - Christophe Negre (DALI/LIRMM, UP)