Le thème CALFOR (Calcul formel) s'intéresse aux systèmes d'équations polynomiales, les applications à la géométrie réelle, la théorie de Galois effective, les langages de la famille d'AXIOM, les preuves d'algorithmes de calcul formel. Les applications touchent plusieurs domaines comme la robotique, l'astronomie la compression d'images.
janvier 1997 → décembre 2003