Difference between revisions of "Projects:INRIA"
Jump to navigation
Jump to search
David.cazier (talk | contribs) |
David.cazier (talk | contribs) |
||
| Line 1: | Line 1: | ||
{{PAGE_Begin}} | {{PAGE_Begin}} | ||
| − | * 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 theme of the topology-based modeling, David Cazier is a member of the team-project [http://mimesis.loria.fr/ 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 | + | * Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project CAMUS [http://camus.loria.fr/ CAMUS], in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS). |
{{PAGE_End}} | {{PAGE_End}} | ||
[[fr:Projets:INRIA]] | [[fr:Projets:INRIA]] | ||
Revision as of 13:01, 1 March 2016
- 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 CAMUS, in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS).