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