Accueil des RAIM 2013

Bienvenue sur le site des 6ème Rencontres Arithmétiques de l'Informatique Mathématique.

Ces rencontres sont organisées dans le cadre du Groupe de Travail Arithmétique du GDR Informatique Mathématique, pôle Calcul Formel, Arithmétique et Géométrie. Elles sont organisées par l'équipe de recherche Pequan, du Laboratoire d'Informatique de Paris 6 (LIP6) et de l'Université Pierre et Marie Curie (UPMC).

Les précédentes éditions ont eu lieu respectivement à Montpellier (2007), Lille (2008), Lyon (2009), Perpignan (2011) et Dijon (2012).

Cette année, les RAIM auront lieu du 18 au 20 novembre 2013, dans les locaux de l'Institut Henri Poincaré (IHP).

Voici la liste des sessions prévues :

• Intervalles (resp. Alexandre Goldsztejn)
• Arithmétique et musique (resp. Moreno Andreatta)
• Cryptographie (resp. Pascal Véron)
• Vérification et qualité numérique (resp. Guillaume Melquiond)
• Industriels (resp. Laurent-Stephane Didier)
• Calcul formel et numérique (resp. Guillaume Moroz)

À cela se rajoutent deux exposés longs spécifiques :

• Une petite histoire de l'arithmétique virgule flottante (Jean-Michel Muller)
• Un point sur les projets de recherche de la communauté (Guillaume Revy)

Et un point particulier sur la reproductibilité numérique (resp. Nathalie Revol)

Tout le programme détaillé se trouve ici.