Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Current contracts and grants
Research results
Current contracts and grants
#
Period
Type
Name
Principal investigator
1.
2015 - 2015
Subvention
SUBVENTION GDR
SUBVENTION GDR
2.
2007 - 2010
ANR
WebMov
Web Service Modelling and Validation
3.
2012 - 2016
Contrat europeen
EURO-MILS
EURO-MILS
4.
2011 - 2012
DIGITEO
ICTSSv3
ICTSSv3
5.
2011 - 2015
ANR
Paral-ITP
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
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.
2017 - 2021
ANR
SOFTQPRO
SOFTQPRO
10.
2018 - 2018
Industriel
18BULLGOUBAU
18BULLGOUBAU
11.
2018 - 2020
autre financeur public
ITEA 3 QUANTEX
ITEA 3 QUANTEX
12.
2005 - 2009
ANR
13.
2009 - 2012
DIGITEO
PACTOLE
PACTOLE
14.
2017 - 2017
Subvention
RESTO
RESTO
15.
2018 - 2018
Subvention
RESTO
RESTO
16.
2017 - 2019
OPLa
OPLa
17.
2017 - 2018
DIPLab
DIPLab
18.
2011 - 2019
Subvention
ARSCPMD
ARSCPMD
19.
2004 - 2007
ANR
SR2I
Security of routing in internet
20.
2009 - 2012
ANR
SHAMAN
Self-organizing and Healing Architectures for Malicious and Adversarial Networks
21.
2004 - 2008
Subvention
FRAGILE
Failure Resilience and Application Guaranteed Integrity in Large-scale Environments
22.
2015 - 2019
Contrat europeen
OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics
23.
2011 - 2014
Contrat europeen
CITINES
CITINES
24.
2010 - 2012
ANR
IOMCA
including Ontologies in Monte Carlo Tree Search with Applications
25.
2010 - 2013
Contrat europeen
MASH
MASH
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 1 sur 22]