251.

2012 - 2014

Industriel

PGMO/IROE 2012
PGMO/IROE

252.

2011 - 2014

DIGITEO

DIM COQUELICOT
DIM COQUELICOT -Convention Projet 2011-039D

253.

2011 - 2014

ITEA MANY
ITEA MANY

254.

2010 - 2014

Contrat europeen

HYCON 2
Highly-complex and networked control systems

255.

2012 - 2014

Subvention

PLATEFORME IHM
Plateforme pédagogique pour l’enseignement de l'Interaction Homme-Machine

256.

2011 - 2014

DIGITEO

DW4RDF.2
DWARDF.2

257.

2011 - 2014

ANR

MDGest
Gestes multi-dimensionnels pour l’interaction

258.

2011 - 2014

DIGITEO

CALIFHA
CALIFHA

259.

2010 - 2014

ANR

RESCUE
ANR RESCUE

260.

2012 - 2014

Subvention

SYSTEM@TIC SOAPS.2
SYSTEM@TIC SOAPS.2

261.

2013 - 2014

Subvention

DATE - AMSUD
Distributed Diagnosability and Testability of Faulty Systems

262.

2014 - 2014

Subvention

AAP ATTRACTIVITE 2014
Formalisation en Coq de la Sémantique de Javascript

263.

2014 - 2014

Contrat europeen

KIC 2014 - CITIZEN SAFETY (M.)
CITIZEN SAFETY

264.

2014 - 2014

Contrat europeen

KIC 2014 - TECHNICAL MAJOR HUMAN
TECHNICAL MAJOR HUMAN

265.

2014 - 2014

Contrat europeen

KIC 2014 - EIT LABEL I&E EDUCATI
EIT LABEL I&E EDUCATION

266.

2013 - 2015

Industriel

MODYRUM
MODYRUM

267.

2011 - 2015

ANR

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

268.

2012 - 2015

Pole de competitivite

FUI TIMCO
FUI TIMCO

269.

2010 - 2015

Subvention

CONVENTION DE DELEGATION MARC BA
CONVENTION DE DELEGATION MARC BABOULIN

270.

2012 - 2015

Contrat europeen

SOCIALPRIVACY
Défis de la vie privée sur les réseaux sociaux

271.

2014 - 2015

DIGITEO

PEPTIDE
PEPTIDE

272.

2013 - 2015

Industriel

PGMO/IROE 2013
PGMO/IROE

273.

2013 - 2015

PGMO/IROE 2013
PGMO/IROE 2013

274.

2011 - 2015

ANR

DIQIP
DIQIP

275.

2012 - 2015

ANR

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