Le LRDE vous annonce la disponibilité de la version 0.7 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version propose un support des transducteurs sur le produit de monoides libres ainsi que plusieurs algorithmes de manipulation des transducteurs. Le système d'entrée / sortie XML a été mis à jour avec les dernières évolutions de la proposition du groupe Vaucanson de standard XML pour l'échange d'automates ; proposition qui sera présentée lors de la conférence CIAA'O5 (http://www.i3s.unice.fr/ciaa05/). -- Louis-Noel Pouchet pouchet(a)lrde.epita.fr