Titre : Sylvain Peyronnet, LRI Exposant : Complexité d'énumération: méthodes logiques et algébriques Résumé : Dans de nombreux domaines applicatifs, la question de la relation entre la dégradation de l'information possédée et la qualité de la décision prise sur cette information est cruciale. Dans le cas particulier de la vérification (model checking et test par exemple), cette question prend tout son sens avec l'émergence de méthodes de vérification approchée. Cette exposé passera en revue et discutera plusieurs méthodes de vérification approchée, dans différents types de modèles.