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

Projets:INRIA

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

Révision datée du 26 avril 2011 à 22:37 par Igg (discussion)

(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 du LSIIT.

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