Catherine Roucairol à l'honneur
Professeur émérite à l'Université de Versailles Saint Quentin, reconnue pour sa recherche en informatique et recherche opérationnelle, Catherine Roucairol avait suivi le développement du centre de calcul ROMEO lors de sa mise en place. ROMEO s'associe au congrès en l'honneur de Catherine Roucairol, le 18 mai 2010, Versailles. (http://wcr.prism.uvsq.fr)
Para//el SAT : un projet ROMEO qui s'affiche
Un problème SAT est un problème de décision décrit par une série d'équations logiques. Un projet ROMEO débuté en 2007 avait pour vocation la résolution de tels problèmes de manière efficace sur une architecture parallèle. Quelques années plus tart, le projet s'est concrétisé avec une thèse (soutenue par Pascal Vander-Swalmen en décembre 2009), une collaboration avec l'Université de Picardie Jules-Vernes, un site web dédié ainsi qu'un logiciel disponible en téléchargement sur http://www.parallel-sat.net