76.

2005 - 2008

ANR

77.

2008 - 2013

ANR

ICOMB
Interactions of Combinatorics

78.

2007 - 2010

ANR

HIPCAL
HIPCAL

79.

2009 - 2011

ANR

FOST
Formal prOofs about Scientific compuTations

80.

2009 - 2012

ANR

DECERT
DEduction and CERTification

81.

2005 - 2009

ANR

Dsslab
Dsslab

82.

2009 - 2012

ANR

PARTOUT
PARTOUT

83.

2008 - 2010

ANR

FF2A3
FF2A3

84.

2009 - 2011

ANR

85.

2009 - 2011

ANR

Spades
Spades

86.

2009 - 2013

ANR

CRYQ
Quantum Cryptography

87.

2009 - 2012

ANR

CODEX
Efficiency, Dynamicity and Composition for XML: Models, Algorithms and Systems

88.

2008 - 2012

ANR

Dataring
P2P data sharing for online communities

89.

2009 - 2012

ANR

DESCARWIN
DESCARWIN: Planification évolutionnaire

90.

2009 - 2011

ANR

SYDINMALAS
Integrating Symbolic Discovery with Numerical Machine Learning for Autonomous Swarm Control

91.

2009 - 2012

ANR

OMD2
Optimisation MultiDisciplinaire Distribuée

92.

2009 - 2012

ANR

DOPAGE
DOPAGE

93.

2009 - 2012

ANR

SHAMAN
Self-organizing and Healing Architectures for Malicious and Adversarial Networks

94.

2009 - 2011

ANR

Cosinus-PETAQCD
Cosinus-PETAQCD

95.

2009 - 2012

ANR

Archi2Neu
Archi2Neu

96.

2009 - 2012

ANR

Cosinus MIDAS
Cosinus MIDAS

97.

2010 - 2014

ANR

MAPREDUCE
MAPREDUCE

98.

2009 - 2012

ANR

MLSN
Multi-level Social Networks

99.

2009 - 2013

ANR

HOLYRISK
Scientific Uncertainty and Food Risk Regulation

100.

2008 - 2011

ANR

U3CAT
U3CAT