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,
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