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.
2005 - 2009
ANR
A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces
2.
2017 - 2017
Subvention
AAP - ADOC
AAP - ADOC
3.
2012 - 2012
Subvention
AAP 2012
Conception et évaluation de visualisations interactives pour murs d'écrans
4.
2012 - 2012
Subvention
AAP 2012
Raisonnement au service des données : réponse aux requêtes conjonctives en présence d'ontologies
5.
2012 - 2013
Subvention
6.
2013 - 2013
Subvention
AAP ATTRACTIVITE 2013
Why Not Provenance for Web Data and Knowledge
7.
2013 - 2013
Subvention
8.
2013 - 2013
Subvention
9.
2014 - 2014
Subvention
AAP ATTRACTIVITE 2014
Formalisation en Coq de la Sémantique de Javascript
10.
2015 - 2015
Subvention
11.
2015 - 2015
autre financeur public
12.
2016 - 2016
Subvention
AAP ATTRACTIVITE 2016
AAP 2016 S.F.A
13.
2016 - 2016
Subvention
14.
2016 - 2016
Subvention
15.
1970 - 1970
Subvention
16.
2016 - 2016
Subvention
17.
2016 - 2016
Subvention
18.
2016 - 2016
Subvention
19.
2016 - 2016
Subvention
20.
2016 - 2016
Subvention
21.
2016 - 2016
Subvention
22.
2016 - 2016
Subvention
23.
2016 - 2016
Subvention
24.
2016 - 2016
Subvention
25.
2018 - 2018
Subvention
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 1 sur 21]