1.

2012 - 2015

ANR

Typex
Typeful certified XML: : integrating language, logic, and data- oriented best practices

2.

2010 - 2014

ANR

SIMINOLE
SIMINOLE

3.

2010 - 2014

Contrat europeen

EGI-INSPIRE
EGI-INSPIRE

4.

2011 - 2014

ANR

Paral-ITP
Parallélisation des systèmes de preuve interactifs de haute fiabilite

5.

2010 - 2014

ANR

MAPREDUCE
MAPREDUCE

6.

2010 - 2013

Contrat europeen

TERAFLUX
TERAFLUX

7.

2010 - 2013

ANR

PIMI
PERSONNAL INFORMATION MANAGEMENT THROUGH INTERNET

8.

2009 - 2013

ANR

HOLYRISK
HOLYRISK

9.

2009 - 2013

ANR

CRYQ
Cryptographie Quantique

10.

2010 - 2013

DIGITEO

COREPHY
COdage REseau et couche PHysique

11.

2010 - 2013

DIGITEO

FLUCTUS
FLUID COMPUTING UNIFIED SYSTEM

12.

2008 - 2013

ANR

ICOMB
Interactions of Combinatorics

13.

2010 - 2013

Pole de competitivite

Hi-LITE
Hi-LITE

14.

2008 - 2013

Contrat europeen

PASCAL2
Pattern Analysis, Statistical Modelling and Computational Learning

15.

2009 - 2013

Industriel

EDF
EDF

16.

2008 - 2013

Contrat europeen

SYMBRION
Symbiotic Evolutionary Robot Organisms

17.

2010 - 2012

Contrat europeen

MASH
MASH

18.

2010 - 2012

ANR

IOMCA
Fouille d'Arbres Monte Carlo avec Ontologies et Applications

19.

2009 - 2012

ANR

QRAC
Algorithmes et complexité quantiques et probabiliste

20.

2009 - 2012

ANR

PARTOUT
PARallélisme parTOUT

21.

2009 - 2012

ANR

Archi2Neu
Archi2Neu

22.

2009 - 2012

ANR

DESCARWIN
DESCARWIN: Planification évolutionnaire

23.

2009 - 2012

ANR

Cosinus MIDAS
Cosinus MIDAS

24.

2010 - 2012

ANR

TEOMATRO
Nouvelles tendances dans les matroïdes : Polytopes des bases

25.

2009 - 2012

ANR

MLSN
MLSN