Ces rencontres résultent d'une proposition du groupe de travail Arithmétique de l'Informatique Mathématique au sein du pôle Calcul formel, arithmétique et géométrie du GDR 673 du CNRS Informatique Mathématique. L'objectif est de rassembler et de présenter annuellement les différents approches de l'arithmétique.
La première édition a eu lieu à Montpellier. Celle-ci s'est déroulé sur le campus de l'Université des Sciences et Technologies de Lille (USTL/Lille I) du 3 au 5 Juin.
Elle s'est organisé autour cinq thématiques (cf. le programme) :
En clôture de ces rencontres c.a.d. le jeudi après-midi, nous avons pu assister à la soutenance de thèse de Christian Costermans intitulée «Calcul symbolique non commutatif : analyse des constantes d'arbre de fouille» sous la direction de Hoang Ngoc Minh (plus de détails).
