251.

2013 - 2016

ANR

GREEN-DYSPAN
GREEN-DYSPAN

252.

2003 - 2005

Subvention

GRAPHDUCE
Développement d'un environnement graphique pour applications financières basées sur XML et Cduce

253.

2015 - 2019

ANR

GOASQ
GOASQ

254.

2006 - 2009

Contrat europeen

GENNETEC
GENetic NETworks: Emergence and Complexity

255.

2004 - 2005

Industriel

GENEVA
GENEBIO

256.

2007 - 2009

Industriel

GENCOD
GENCOD

257.

2005 - 2011

CIFRE

GEMALTO
CIFRE/N.Rousset

258.

2003 - 2007

Subvention

GECCOO
Génération de code certifié pour des applications orientées objet spécification, raffinement, preuve et détection d'erreurs

259.

2018 - 2018

Subvention

GDRIM673/GT
ARITH

260.

2018 - 2018

Subvention

GDR7161/G673
GDR7161/G673

261.

2018 - 2018

Subvention

GDR3003
GDR3003

262.

2018 - 2018

Subvention

GDR MADICS 2018
ReProVirtuFlow

263.

2017 - 2017

Subvention

GDR MADICS 2017
ReProVirtuFlow

264.

2016 - 2016

Subvention

GDR MADICS
GDR MADICS

265.

2006 - 2009

Subvention

GDR BIM
GDR BIOINFORMATIQUE MOLÉCULAIRE

266.

2006 - 2007

DIGITEO

GATEL
OMT GATEL (DIGITEO LABS)

267.

2003 - 2006

Subvention

GAP
Graphes Algorithmes et probabilités

268.

2007 - 2010

DIGITEO

GALEE
Génération Automatique de Logiciels Embarqués Efficaces

269.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

270.

2012 - 2015

Pole de competitivite

FUI TIMCO
FUI TIMCO

271.

2010 - 2012

Industriel

FRANCE TELECOM
Architecture globale et algorithmique Network

272.

2004 - 2008

Subvention

FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle

273.

2010 - 2014

ANR

FP3C
ANR FP3C

274.

2009 - 2011

ANR

FOST
FOST

275.

2010 - 2013

DIGITEO

FLUCTUS
FLUID COMPUTING UNIFIED SYSTEM