Project leader
INRIA Rennes - Bretagne AtlantiquePartners
Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)Funders
ANR,![](https://www.pole-scs.org/wp-content/themes/polescs/assets/images/projet-innovant.png)
DECERT
Design an architecture for cooperative decision-making procedures, with particular attention to fragments of arithmetic and their combination with other theories about data structures.