Two topics were presented. The first one from Fabrice Kordon (Université Paris 6) has talk about Model-Checking. The second one from Ana Busic (INRIA) has talk about reliability bounds for Markovian models.
More informations about these talks or next seminar can be found at http://www.lix.polytechnique.fr/~rauzy/seminaire/sdfx.htm (in french).