Présentation
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
DALI, équipe-projet de l'Université de Perpignan Via Domitia
et du Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM),
et ont lieu
à l'ampithéâtre de la
Communauté d'Agglomération de Perpignan.
Les trois premières éditions ont eu lieu respectivement à Montpellier (2007), Lille (2008) et Lyon (2009).
Ces journées permettront d'aborder les aspects arithmétique des thèmes suivants.
Ces thèmes feront l'objet de sessions composées d'un cours introductif suivi de quelques exposés courts, ou bien uniquement d'exposés courts.
Ces rencontres comportent également des cours d'ouverture thématique sur un domaine proche. Pour cette édition, l'accent sera mis sur les aspects de Calcul intensif, et ce, en partenariat avec le GDR Calcul. Deux aspects de l'interaction entre arithmétique et calcul intensif seront abordés par deux conférences (longues). Les aspects "nouveaux algorithmes" seront étudiés avec les résultats récents de développements de bibliothèques efficaces pour l'algèbre linéaire (Alfredo BUTTARI). Les aspects "nouveaux matériels" mettront l'accent sur les accélérateurs matériel de calcul et les GPU en particulier (Sylvain COLLANGE).
Ce sera aussi l'occasion de faire le point sur les projets en cours ou récemment achevés (appels d'offres ANR, EEC, PEPS ...) qui impliquent les membres de la communauté Informatique Mathématique (Sylvie BOLDO). Plus particulièrement, l'objectif sera de dessiner les contours de la communauté et de ses interactions internes et externes, les types de résultats obtenus (théoriques, logiciels, brevet, autres, ...) et la perception de la communauté par les appels à projets nationaux et européens.
Les trois premières éditions ont eu lieu respectivement à Montpellier (2007), Lille (2008) et Lyon (2009).

- Numération et combinatoire (Julien BERNAT)
- Arithmétique des ordinateurs (Sylvain CHEVILLARD)
- Géométrie algorithmique et géométrie discrète (Isabelle SIVIGNON)
- Validation numérique (Olivier BOUISSOU)
- Calcul formel et numérique (Stef GRAILLAT)
- Cryptographie (Jérémie DETREY)
Ces thèmes feront l'objet de sessions composées d'un cours introductif suivi de quelques exposés courts, ou bien uniquement d'exposés courts.
Ces rencontres comportent également des cours d'ouverture thématique sur un domaine proche. Pour cette édition, l'accent sera mis sur les aspects de Calcul intensif, et ce, en partenariat avec le GDR Calcul. Deux aspects de l'interaction entre arithmétique et calcul intensif seront abordés par deux conférences (longues). Les aspects "nouveaux algorithmes" seront étudiés avec les résultats récents de développements de bibliothèques efficaces pour l'algèbre linéaire (Alfredo BUTTARI). Les aspects "nouveaux matériels" mettront l'accent sur les accélérateurs matériel de calcul et les GPU en particulier (Sylvain COLLANGE).
Ce sera aussi l'occasion de faire le point sur les projets en cours ou récemment achevés (appels d'offres ANR, EEC, PEPS ...) qui impliquent les membres de la communauté Informatique Mathématique (Sylvie BOLDO). Plus particulièrement, l'objectif sera de dessiner les contours de la communauté et de ses interactions internes et externes, les types de résultats obtenus (théoriques, logiciels, brevet, autres, ...) et la perception de la communauté par les appels à projets nationaux et européens.