Section: Overall Objectives

Highlights of the year

Chantal Reynaud, Brigitte Safar, Fayçal Hamdi and Haïfa Zargayouna have been awarded the EGC-Application award 2009 for the paper Partitionnement d'ontologies pour le passage à l'échelle des techniques d'alignement . The SAT solver developed by L. Simon and external colleagues has won the industrial UNSAT category of the 2009 SAT competition.

The team management has changed during the year. Until April, S. Abiteboul was team manager and I. Manolescu co-team manager. After that, I. Manolescu became manager by interim and C. Reynaud co-team manager.