Formalizing Computation
20 mai 2016 10:30 - 12:00
Bibliothèque du LSV
(Laboratoire Spécification et Vérification)
ENS Cachan
61, avenue du Président Wilson
94235 Cachan
(Laboratoire Spécification et Vérification)
ENS Cachan
61, avenue du Président Wilson
94235 Cachan
  |
Intervention de Nachum Dershowitz, résident de l'IEA de Paris, dans le cadre des séminaires de l'équipe de recherche Deducteam, de l'INRIA.
|
|
 Machine Learning Tools for Historical Documents 01 octobre 2015 - 30 juin 2016 |
|
|