2006

• Stratégies dynamiques utilisant l'Arithmétique Stochastique Discrète pour les méthodes d'approximation
  F. Jezequel
• Un nouvel outil pour calculer les groupes et idéaux de Galois et factoriser les polynômes dans des extensions algébriques
  S. Orange, G. Renault, A. Valibouze
• Test de vacuité d'automates de Büchi ensemblistes en utilisant des tests d'inclusion.
  S. Baarir, A. Duret-Lutz