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.
2015 - 2015
Subvention
SUBVENTION GDR
SUBVENTION GDR
2.
2007 - 2010
ANR
WebMov
Modélisation et Validation de Services Web
3.
2012 - 2016
Contrat europeen
EURO-MILS
EURO-MILS
4.
2011 - 2012
DIGITEO
ICTSSv3
ICTSSv3
5.
2009 - 2012
DIGITEO
HOL-TestGen XT
Un generateur pour des donnees de test sur base de HOL
6.
2011 - 2015
ANR
Paral-ITP
Parallélisation des systèmes de preuve interactifs de haute fiabilite
7.
2012 - 2013
Subvention
Updates
Updates
8.
0 - 0
Industriel
MATRA
MATRA
9.
2009 - 2012
DIGITEO
PACTOLE
PACTOLE
10.
2005 - 2009
ANR
A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces
11.
2017 - 2017
RESTO
RESTO
12.
2011 - 2017
Subvention
ARSCPMD
ARSCPMD
13.
2004 - 2007
ANR
SR2I
Sécurité du routage interdomaine dans l'internet
14.
2009 - 2012
ANR
SHAMAN
SHAMAN Self-organizing and Healing Architectures for Malicious and Adversarial Networks
15.
2004 - 2008
Subvention
FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle
16.
2015 - 2019
Contrat europeen
OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics
17.
2011 - 2014
Subvention
I-LAB Metis
I-LAB Metis
18.
2010 - 2013
Contrat europeen
MASH
MASH
19.
2011 - 2014
Contrat europeen
CITINES
CITINES
20.
2010 - 2012
ANR
IOMCA
Fouille d'Arbres Monte Carlo avec Ontologies et Applications
21.
2001 - 0
Industriel
COMPAQ
COMPAQ
22.
2003 - 2005
RNTL
COP
COP
23.
2008 - 2012
Contrat europeen
HiPEAC 2
European Network of Excellence on High Performance and Embedded Architecture and Compilation
24.
2009 - 2012
ANR
Archi2Neu
Archi2Neu
25.
2006 - 2011
Contrat europeen
KP-Lab
Knowledge Practices Laboratory
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 1 sur 17]