Section: Overall Objectives

Highlights of the Year

A major event in the life of our team this year is naturally its creation, as a refoundation of the former ProVal team, starting officially on September 1st, with C. Marché as a new leader. This report indeed covers all the activities of the team in 2012, including the activities of ProVal from January to August.

Another important event is the arrival of Arthur Charguéraud as a new “Chargé de Recherche”, since October.

The current section and the next one present the scientific foundations, objectives and axes of research of the new team. The theme of verification of numerical programs, that took importance in the former project, is now a major axis. We also emphasize a new axis of research concerning the certification of tools.