# |
 Period  |
Type |
Name |
Principal investigator |
 |
1. |
2012 - 2015 |
ANR |
TypexTypeful certified XML: : integrating language, logic, and data- oriented best practices |
|
|
2. |
2010 - 2014 |
ANR |
|
|
|
3. |
2010 - 2014 |
Contrat europeen |
|
|
|
4. |
2011 - 2014 |
ANR |
Paral-ITPPervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems |
|
|
5. |
2010 - 2014 |
ANR |
|
|
|
6. |
2010 - 2013 |
Contrat europeen |
|
|
|
7. |
2010 - 2013 |
ANR |
|
|
|
8. |
2009 - 2013 |
ANR |
|
|
|
9. |
2009 - 2013 |
ANR |
|
|
|
10. |
2010 - 2013 |
DIGITEO |
|
|
|
11. |
2010 - 2013 |
DIGITEO |
|
|
|
12. |
2008 - 2013 |
ANR |
ICOMBInteractions of Combinatorics |
|
|
13. |
2010 - 2013 |
Pole de competitivite |
|
|
|
14. |
2008 - 2013 |
Contrat europeen |
PASCAL2Pattern Analysis, Statistical Modelling and Computational Learning |
|
|
15. |
2009 - 2013 |
Industriel |
|
|
|
16. |
2008 - 2013 |
Contrat europeen |
|
|
|
17. |
2010 - 2012 |
Contrat europeen |
|
|
|
18. |
2010 - 2012 |
ANR |
IOMCAincluding Ontologies in Monte Carlo Tree Search with Applications |
|
|
19. |
2009 - 2012 |
ANR |
QRACQuantum and Randomized Algorithms and Complexity |
|
|
20. |
2009 - 2012 |
ANR |
|
|
|
21. |
2009 - 2012 |
ANR |
|
|
|
22. |
2009 - 2012 |
ANR |
DESCARWINDESCARWIN: Planification évolutionnaire |
|
|
23. |
2009 - 2012 |
ANR |
|
|
|
24. |
2010 - 2012 |
ANR |
|
|
|
25. |
2009 - 2012 |
ANR |
|
|
|
|
| 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9] |
