Projects:INRIA

Jump to: navigation, search
  • Around the theme of the topology-based modeling, David Cazier is a member of the team-project MIMESIS project being launched by Stéphane Cotin whose integration in IGG was validated by the direction committee of 06/08/2015.
  • 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).