Thèses

08/02/2012 - 10h30 : FALL Ibrahima
Gestion Optimisée de Produits-Modèles de Procédés Logiciels
Site Jussieu 25-26/105
17/02/2012 - 10h : TRINH Anh Phuc
Classifieur probabiliste et Séparateur à Vaste Marge. Application à la classification de texte et à l'étiquetage d'image
Site Jussieu 25-26/105

Le LIP6 organise

27/08/2012 - 18^th International Conference on Formal Methods (FM 2012)
L'objectif de cette conférence est de réunir des chercheurs intéressés à la fois par les aspects théoriques et les applications des méthodes formelles au développement et à l'an...
CNAM Paris - http://fm2012.cnam.fr/