401.

2004 - 2007

Subvention

ACI NPP
ACI Normes, Pratiques et Régulations des politiques

402.

2004 - 2007

ANR

ALIDECS
Languages and Tool-Chain for the Development of Safe Embedded Components

403.

2004 - 2007

Subvention

ACI project Tralala
XML Transformation Languages:logic and applications

404.

2005 - 2007

Industriel

Security in ad hoc networks
Security in ad hoc networks

405.

2004 - 2007

Subvention

TCAN
TCAN

406.

2004 - 2007

Subvention

ACI GRID'5000
ACI GRID'5000

407.

2003 - 2007

Subvention

GECCOO
Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection

408.

2004 - 2007

edos
Environment for the development and Distribution of Open Source software

409.

2003 - 2006

Subvention

410.

2003 - 2006

Subvention

MDP2P
Massive data in Peer to Peer

411.

2003 - 2006

Subvention

412.

2003 - 2006

Subvention

413.

2003 - 2006

ANR

414.

2003 - 2006

NEMO
NEMO: a grouped mobility

415.

2003 - 2006

Subvention

VERA
Approximate verification

416.

2003 - 2006

Subvention

417.

2003 - 2006

Subvention

NAVGRAPH
NAVGRAPH

418.

2003 - 2006

Subvention

PAIR A PAIR
PAIR A PAIR

419.

2003 - 2006

Subvention

MICROMEGAS
MICROMEGAS

420.

2003 - 2006

Subvention

Réseaux quantiques
Réseaux quantiques

421.

2005 - 2006

BQR

422.

2005 - 2006

Subvention

423.

2003 - 2006

CIFRE

424.

2002 - 2005

PPF

Bioinformatics and Genomics
PPF - Bioinformatics and Genomics

425.

2002 - 2005

Contrat europeen

RESQ
RESQ