Je suis fier de vous annoncer une nouvelle publication au lRDE : R. Lassaigne and S. Peyronnet. Probabilistic verification and approximation. In the proc. of the 12th Workshop on Logic, Language, Information and Computation (Wollic 05). Electronic Notes in Theoretical Computer Science. Florianapolis, brazil. July 2005 Cordialement, Sylvain Peyronnet