Projects:INRIA
Revision as of 12:02, 1 March 2016 by David.cazier (talk | contribs)
- 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).