176.

2009 - 2011

ANR

FOST
FOST

177.

2010 - 2014

ANR

FP3C
ANR FP3C

178.

2004 - 2008

Subvention

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

179.

2010 - 2012

Industriel

FRANCE TELECOM
Architecture globale et algorithmique Network

180.

2012 - 2015

Pole de competitivite

FUI TIMCO
FUI TIMCO

181.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

182.

2007 - 2010

DIGITEO

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

183.

2003 - 2006

Subvention

GAP
Graphes Algorithmes et probabilités

184.

2006 - 2007

DIGITEO

GATEL
OMT GATEL (DIGITEO LABS)

185.

2006 - 2009

Subvention

GDR BIM
GDR BIOINFORMATIQUE MOLÉCULAIRE

186.

2016 - 2016

Subvention

GDR MADICS
GDR MADICS

187.

2017 - 2017

Subvention

GDR MADICS 2017
ReProVirtuFlow

188.

2018 - 2018

Subvention

GDR MADICS 2018
ReProVirtuFlow

189.

2018 - 2018

Subvention

GDR3003
GDR3003

190.

2018 - 2018

Subvention

GDR7161/G673
GDR7161/G673

191.

2018 - 2018

Subvention

GDRIM673/GT
ARITH

192.

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

193.

2005 - 2011

CIFRE

GEMALTO
CIFRE/N.Rousset

194.

2007 - 2009

Industriel

GENCOD
GENCOD

195.

2004 - 2005

Industriel

GENEVA
GENEBIO

196.

2006 - 2009

Contrat europeen

GENNETEC
GENetic NETworks: Emergence and Complexity

197.

2015 - 2019

ANR

GOASQ
GOASQ

198.

2003 - 2005

Subvention

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

199.

2013 - 2016

ANR

GREEN-DYSPAN
GREEN-DYSPAN

200.

2006 - 2008

Contrat europeen

GRID4ALL
GRID4ALL