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 […]

Un WTF shooté par Guillaume à Denver… Merci à lui !

Voici le retour de l’interview SEO avec cette semaine une interview de Googlecleaner, que vous avez peut-être repéré sur Twitter récemment et qui est la partie émergente d’une équipe spécialisée dans la gestion de la réputation en ligne. Comme vous allez le voir, une personne bien connue du microcosme SEO français est à l’origine de cette équipe ! Je le remercie d’avoir bien voulu répondre à mes questions, et plus généralement pour sa gentillesse lors de chacun de nos contacts ! Bonjour GoogleCleaner, est ce que tu peux te présenter ? On est une petite équipe derrière googlecleaner. De mon […]

On connait tous les sites de questions/réponses standards : le fameux CCM, Yahoo! answers et bien d’autres encore. En revanche je suis certain que vous connaissez beaucoup moins le site de questions/réponses collaboratif (et en anglais) dont la thématique est celle de l’informatique théorique au niveau recherche, j’ai nommé http://cstheory.stackexchange.com/. Sur ce site, vous trouverez des questions du type :Pouvez vous donner des exemples d’algorithmes d’apprentissage qui apprennent des propriétés statistiques des données et non pas des observations individuelles sur ces données ? Quelles sont les bornes inférieures pour le problème de la multiplication de matrices dans un modèle de […]

Breaking news : le site de CSDM 2012 est en ligne ! Voilà, la conférence CSDM (Complex Systems Design & Management) 2010 vient à peine de se terminer que je viens vous annoncer que l’édition 2011 aura lieu du 7 au 9 décembre 2011. Je suis toujours dans le comité d’organisation, en charge de la bonne marche de l’infrastructure web. Pour en savoir plus, nous venons de mettre en ligne le site de CSDM. Toutes les informations seront mises en ligne au fur et à mesure, mais les dates importantes sont d’ors et déjà connues. Important dates deadline optionnelle de […]

C’est en parcourant le New York Times ce matin que j’ai appris la mort de Benoit Mandelbrot à l’age de 85 ans. Mandelbrot est un mathématicien connu du grand public pour la découverte des fractales. Mais au delà de ça, c’est un touche à tout extraordinaire qui disparait. Ces découvertes en mathématiques appliquées ayant été utiles en physique, finance, biologie, informatique, etc. Un grand talent mathématique et un pragmatisme à toute épreuve semble le définir. J’aime particulièrement cette phrase qu’on lui attribue (et qui semble très actuelle) : « When the weather changes, nobody believes the laws of physics have changed. […]

Bon, vous l’aurez compris si vous me connaissez, ce post est une pub éhontée pour l’exposition actuelle du musée des antiquités de seine-maritime (sis à Rouen). Bien sur j’en parle parce que c’est ma femme Caroline qui a tout organisé avec l’aide de son équipe de choc, mais cela vaut largement le coup d’aller visiter cette petite expo très intéressante. Après 4 ans d’absence, la momie égyptienne, affectueusement baptisée Marie-Lou par les agents du C2RMF, est de retour au Musée départemental des Antiquités à Rouen… Elle, et l’ensemble des autres pièces déposées depuis quatre ans à Versailles, dans les ateliers […]