Porteur du projet
INRIA Rennes - Bretagne AtlantiquePartenaires
Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)Financeurs
ANR,![](https://www.pole-scs.org/wp-content/themes/polescs/assets/images/projet-innovant.png)
DECERT
Concevoir une architecture pour des procédures de décision coopérant entre elles, avec une attention particulière portée à des fragments de l’arithmétique et à leur combinaison avec d’autres théories concernant les structures de données