Équipe IGG : Informatique Géométrique et Graphique

Projets:INRIA

De Équipe IGG : Informatique Géométrique et Graphique

Révision datée du 17 décembre 2013 à 18:00 par David.cazier (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Aller à la navigation Aller à la recherche

Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l'équipe-projet CAMUS, commune avec l'INRIA Nancy Grand-Est depuis son lancement en 2010 par Philippe Clauss, responsable de l'équipe ICPS.

Récupérée de « https://igg.icube.unistra.fr/index.php?title=Projets:INRIA&oldid=5043 »