Team IGG : Computer Graphics and Geometry

Projects:INRIA

From Team IGG : Computer Graphics and Geometry

Revision as of 21:08, 16 October 2011 by Igg (talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project CAMUS, in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS of the LSIIT).

Retrieved from "https://igg.icube.unistra.fr/en/index.php?title=Projects:INRIA&oldid=2183"