Project leader

INRIA Rennes - Bretagne Atlantique

Partners

Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)

Funders

ANR,

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.

Project leader

INRIA Rennes - Bretagne Atlantique

Partners

Systerel, INRIA Sophia Antipolis-Méditerranée, INRIA Nancy - Grand EstLRI (CNRS - IDF Sud), CEA LIST (COMMISSARIAT A L'ENERGIE ATOMIQUE)

Funders

ANR,
Themes Markets R&D Investment Duration Funding Year
Software
-- 2747 K€ 36 months 2008
Themes
Software
Markets
--
R&D Investment
2747 K€
Duration
36 months
Funding Year
2008

Back to projects directory