Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Tous les contrats
Production scientifique
Contrats en cours
#
Date
Type
Nom et Titre
Responsable
1.
2007 - 2010
ANR
WebMov
Modélisation et Validation de Services Web
2.
2015 - 2015
Subvention
SUBVENTION GDR
SUBVENTION GDR
3.
2011 - 2012
DIGITEO
ICTSSv3
ICTSSv3
4.
2012 - 2016
Contrat europeen
EURO-MILS
EURO-MILS
5.
2011 - 2015
ANR
Paral-ITP
Parallélisation des systèmes de preuve interactifs de haute fiabilite
6.
2012 - 2013
Subvention
Updates
Updates
7.
2013 - 2013
Contrat europeen
KIC 2013 - CATALYST LEAD I&E MOD
CATALYST LEAD I&E MODULE
8.
-
Industriel
MATRA
MATRA
9.
2018 - 2018
Industriel
18BULLGOUBAU
18BULL GOUBAU
10.
2017 - 2021
ANR
SOFTQPRO
SOFTQPRO
11.
2018 - 2020
autre financeur public
ITEA 3 QUANTEX
ITEA 3 QUANTEX
12.
2005 - 2009
ANR
A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces
13.
2009 - 2012
DIGITEO
PACTOLE
PACTOLE
14.
2018 - 2018
Subvention
15.
2017 - 2018
DIPLab
DIPLab
16.
2017 - 2017
Subvention
RESTO
RESTO
17.
2017 - 2019
OPLa
OPLa
18.
2011 - 2019
Subvention
ARSCPMD
ARSCPMD
19.
2004 - 2007
ANR
SR2I
Sécurité du routage interdomaine dans l'internet
20.
2009 - 2012
ANR
SHAMAN
SHAMAN Self-organizing and Healing Architectures for Malicious and Adversarial Networks
21.
2004 - 2008
Subvention
FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle
22.
2015 - 2019
Contrat europeen
OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics
23.
2009 - 2012
ANR
Archi2Neu
Archi2Neu
24.
2001 -
Industriel
COMPAQ
COMPAQ
25.
2008 - 2012
Contrat europeen
HiPEAC 2
European Network of Excellence on High Performance and Embedded Architecture and Compilation
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 1 sur 22]