Il est maintenant le temps de vous intéresser à CSDM 2012 ! Je vous ai déjà parlé ici de la conférence CSDM (Complex Systems Design & Management) dont l’édition 2010 a été un succès, avec par exemple la note moyenne attribuée à l’ensemble de la conférence qui avoisine 8/10 dans le questionnaire de satisfaction. Le communiqué de MEGA, sponsor de l’évènement, nous dit que : A l’issue de cette première édition, les organisateurs affichent leur satisfaction. « Nous nous étions fixés 3 objectifs, explique Daniel Krob, président de CESAMES & professeur de l’Ecole Polytechnique. Le premier était de faire venir […]

Et oui, l’article suivant : Uniform Monte-Carlo Model-Checking. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet. a été accepté pour publication à FASE 2011 (le site web de la conférence est aussi accessible par là). On y présente une méthode pour la génération uniforme de lassos dans les graphes de flots réductibles. Cela vous fait une belle jambe n’est ce pas ? En fait les lassos sont les structures qui permettent de déterminer la validité de certaines formules de la logique $latex LTL$ (Linear Temporal Logic). En les échantillonnant uniformément, on peut chercher des comportements spécifiques d’un […]

Durant les dernières semaines vous ne m’avez sans doute pas beaucoup croisé sur Facebook, twitter, les forums, les blogs et même dans la vraie vie, je peux maintenant vous dire pourquoi… C’est parce que je passais le 7 décembre dernier mon habilitation à diriger les recherches. Qu’est ce donc que ce truc là ? En France, l’habilitation à diriger des recherches (en abrégé HDR), est un diplôme national de l’enseignement supérieur qu’il est possible d’obtenir après un doctorat. Il a été créé en 1984 suite à la loi Savary. Ce diplôme permet de postuler à un poste de professeur des […]

En face de la fac de droit à Rouen (j’habite juste à coté), il y a un de ces nouveaux supermarché de ville. Et visiblement il y a des disclaimers indispensables à cet endroit…

Mais cela ne fait également que commencer… Dans les dernières semaines, trois de mes anciens étudiants de quand j’étais enseignant-chercheur à l’EPITA ont soutenus leur thèse avec un grand brio, une classe indéniable, etc. etc. Bref, félicitations à tous ces docteurs, que je vais nommer rapidement ici : Johan Oudinet a soutenu le 19/11/2010 une thèse sur le sujet « Approches combinatoires pour le test statistique à grande échelle ». Le résumé officiel nous raconte que cette thèse porte sur le développement de méthodes combinatoires pour le test et la vérification formelle de logiciel. Johan s’est intéressé aux approches probabilistes qui sont […]