426.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 S.F.A

427.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 V.P

428.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 F.M

429.

-

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 I.G

430.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 A.D

431.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 A.P

432.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 B.G

433.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 Y.M

434.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 S.M

435.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 C.K

436.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 T.B

437.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 T.N

438.

2015 - 2015

Subvention

AAP ATTRACTIVITE 2015
AAP2015 C.F.

439.

2014 - 2014

Subvention

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

440.

2013 - 2013

Subvention

AAP ATTRACTIVITE 2013
Why Not Provenance for Web Data and Knowledge

441.

2013 - 2013

Subvention

AAP ATTRACTIVITE 2013
AAP 2013

442.

2013 - 2013

Subvention

AAP ATTRACTIVITE 2013
AAP 2013

443.

2012 - 2012

Subvention

AAP 2012
Conception et évaluation de visualisations interactives pour murs d'écrans

444.

2012 - 2012

Subvention

AAP 2012
Raisonnement au service des données : réponse aux requêtes conjonctives en présence d'ontologies

445.

2017 - 2017

Subvention

AAP - ADOC
AAP - ADOC

446.

2005 - 2009

ANR

A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces

447.

2018 - 2018

Industriel

18BULLGOUBAU
18BULL GOUBAU

448.

2017 - 2019

Industriel

17OCTOPE HAY
17OCTOPE HAY

449.

2016 - 2018

Industriel

16ONER CORAIL
16ONER CORAIL