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

AAP ATTRACTIVITE 2013
AAP 2013

10.

2013 - 2013

Subvention

AAP ATTRACTIVITE 2013
AAP 2013

11.

2014 - 2014

Subvention

AAP ATTRACTIVITE 2014
Formalisation en Coq de la Sémantique de Javascript

12.

2015 - 2015

Subvention

AAP ATTRACTIVITE 2015
AAP2015 C.F.

13.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 S.F.A

14.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 V.P

15.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 F.M

16.

-

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 I.G

17.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 A.D

18.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 A.P

19.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 B.G

20.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 Y.M

21.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 S.M

22.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 C.K

23.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 T.B

24.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 T.N

25.

2018 - 2018

autre financeur public

AAP DATAIA
AAP DATAIA